.github/workflows/main.yml

.github/workflows/main.yml #2493

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	8m 53s
lambdapi (5.2.1)	9m 37s
lambdapi (5.1.1)	8m 55s
lambdapi (5.0.0)	9m 39s
lambdapi (4.14.2)	8m 48s
lambdapi (4.13.1)	10m 17s
lambdapi (4.12.1)	9m 18s
lambdapi (4.11.2)	8m 19s
lambdapi (4.10.2)	8m 5s
lambdapi (4.09.1)	8m 30s
	1h 30m 44s