.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2470

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lambdapi (5.3.0)	7m 46s
vscode	22s
lambdapi (5.2.1)	7m 42s
lambdapi (5.1.1)	7m 31s
lambdapi (5.0.0)	8m 8s
lambdapi (4.14.2)	7m 53s
lambdapi (4.13.1)	8m 8s
lambdapi (4.12.1)	7m 43s
lambdapi (4.11.2)	7m 19s
lambdapi (4.10.2)	7m 36s
lambdapi (4.09.1)	8m 21s
	1h 18m 29s