.github/workflows/main.yml

new parser for lp files #2474

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	22s
lambdapi (5.3.0)	9m 12s
lambdapi (5.2.1)	9m 15s
lambdapi (5.1.1)	9m 17s
lambdapi (5.0.0)	10m 3s
lambdapi (4.14.2)	9m 11s
lambdapi (4.13.1)	10m 39s
lambdapi (4.12.1)	9m 25s
lambdapi (4.11.2)	3m 34s
lambdapi (4.10.2)	3m 25s
lambdapi (4.09.1)	3m 38s
	1h 18m 1s