.github/workflows/main.yml

tests/OK/natural.lp: add builtins for printing Peano numbers in decim… #2478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	9m 4s
lambdapi (5.2.1)	9m 40s
lambdapi (5.1.1)	11m 24s
lambdapi (5.0.0)	14m 59s
lambdapi (4.14.2)	12m 25s
lambdapi (4.13.1)	10m 25s
lambdapi (4.12.1)	9m 6s
lambdapi (4.11.2)	8m 28s
lambdapi (4.10.2)	8m 34s
lambdapi (4.09.1)	8m 20s
	1h 42m 48s