.github/workflows/main.yml

SZS status GaveUp and new line for -dkterm (#40) #45

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_lambdapi (5.2.0)	1m 34s
build_lambdapi (5.1.1)	1m 27s
build_lambdapi (5.0.0)	1m 35s
build_lambdapi (4.14.1)	1m 37s
build_lambdapi (4.13.1)	1m 26s
build_lambdapi (4.12.1)	4m 43s
build_lambdapi (4.11.2)	5m 2s
build_lambdapi (4.10.2)	1m 50s
build_lambdapi (4.09.1)	4m 43s
build_lambdapi (4.08.1)	1m 29s
	25m 26s