.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2469

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	27s
lambdapi (5.3.0)	8m 6s
lambdapi (5.2.1)	7m 32s
lambdapi (5.1.1)	7m 36s
lambdapi (5.0.0)	8m 30s
lambdapi (4.14.2)	7m 54s
lambdapi (4.13.1)	8m 5s
lambdapi (4.12.1)	7m 42s
lambdapi (4.11.2)	8m 3s
lambdapi (4.10.2)	7m 21s
lambdapi (4.09.1)	7m 17s
	1h 18m 33s