.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2479

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	25s
lambdapi (5.3.0)	7m 30s
lambdapi (5.2.1)	7m 12s
lambdapi (5.1.1)	7m 17s
lambdapi (5.0.0)	7m 58s
lambdapi (4.14.2)	8m 56s
lambdapi (4.13.1)	7m 43s
lambdapi (4.12.1)	7m 33s
lambdapi (4.11.2)	7m 40s
lambdapi (4.10.2)	7m 8s
lambdapi (4.09.1)	7m 17s
	1h 16m 39s