.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2472

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	7m 48s
lambdapi (5.2.1)	7m 50s
lambdapi (5.1.1)	7m 45s
lambdapi (5.0.0)	8m 44s
lambdapi (4.14.2)	8m 3s
lambdapi (4.13.1)	8m 3s
lambdapi (4.12.1)	7m 56s
lambdapi (4.11.2)	7m 23s
lambdapi (4.10.2)	7m 19s
lambdapi (4.09.1)	7m 12s
	1h 18m 26s