.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2025

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (5.1.0)	22m 43s
build (5.0.0)	20m 10s
build (4.14.1)	21m 44s
build (4.13.1)	21m 27s
build (4.12.1)	22m 33s
build (4.11.2)	18m 40s
build (4.10.2)	18m 41s
build (4.09.1)	22m 7s
build (4.08.1)	21m 46s
	3h 9m 51s