.github/workflows/main.yml

lpLexer: fix definition of int (#1183) #2461

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	9m 5s
lambdapi (5.2.1)	9m 17s
lambdapi (5.1.1)	9m 3s
lambdapi (5.0.0)	9m 48s
lambdapi (4.14.2)	9m 18s
lambdapi (4.13.1)	10m 34s
lambdapi (4.12.1)	9m 22s
lambdapi (4.11.2)	9m 21s
lambdapi (4.10.2)	9m 13s
lambdapi (4.09.1)	8m 25s
	1h 33m 49s