.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2022

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (5.1.0)	20m 12s
build (5.0.0)	19m 5s
build (4.14.1)	19m 8s
build (4.13.1)	21m 18s
build (4.12.1)	22m 59s
build (4.11.2)	18m 57s
build (4.10.2)	18m 24s
build (4.09.1)	21m 7s
build (4.08.1)	18m 6s
	2h 59m 16s