.github/workflows/main.yml

new parser for lp files #2480

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	24s
lambdapi (5.3.0)	10m 28s
lambdapi (5.2.1)	9m 3s
lambdapi (5.1.1)	8m 42s
lambdapi (5.0.0)	9m 48s
lambdapi (4.14.2)	8m 55s
lambdapi (4.13.1)	10m 18s
lambdapi (4.12.1)	9m 7s
lambdapi (4.11.2)	6m 8s
lambdapi (4.10.2)	3m 23s
lambdapi (4.09.1)	3m 31s
	1h 19m 47s