.github/workflows/main.yml

new parser for lp files #2492

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	21s
lambdapi (5.3.0)	10m 8s
lambdapi (5.2.1)	8m 45s
lambdapi (5.1.1)	8m 44s
lambdapi (5.0.0)	9m 53s
lambdapi (4.14.2)	8m 49s
lambdapi (4.13.1)	10m 16s
lambdapi (4.12.1)	9m 15s
lambdapi (4.11.2)	3m 32s
lambdapi (4.10.2)	3m 28s
lambdapi (4.09.1)	3m 22s
	1h 16m 33s