.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2491

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	7m 47s
lambdapi (5.2.1)	7m 18s
lambdapi (5.1.1)	7m 20s
lambdapi (5.0.0)	8m 32s
lambdapi (4.14.2)	7m 28s
lambdapi (4.13.1)	7m 40s
lambdapi (4.12.1)	8m 3s
lambdapi (4.11.2)	7m 12s
lambdapi (4.10.2)	7m 2s
lambdapi (4.09.1)	7m 9s
	1h 15m 54s