.github/workflows/main.yml

add builtin strings #2562

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	25s
lambdapi (5.3.0)	12m 20s
lambdapi (5.2.1)	12m 2s
lambdapi (5.1.1)	11m 40s
lambdapi (5.0.0)	12m 46s
lambdapi (4.14.2)	11m 39s
lambdapi (4.13.1)	12m 34s
lambdapi (4.12.1)	11m 48s
lambdapi (4.11.2)	11m 31s
lambdapi (4.10.2)	11m 18s
lambdapi (4.09.1)	11m 47s
	1h 59m 50s