.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2524

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	27s
lambdapi (5.3.0)	7m 14s
lambdapi (5.2.1)	7m 15s
lambdapi (5.1.1)	6m 59s
lambdapi (5.0.0)	8m 5s
lambdapi (4.14.2)	7m 28s
lambdapi (4.13.1)	7m 33s
lambdapi (4.12.1)	7m 25s
lambdapi (4.11.2)	7m 11s
lambdapi (4.10.2)	7m 4s
lambdapi (4.09.1)	6m 54s
	1h 13m 35s