.github/workflows/main.yml

tests/OK/natural.lp: add builtins for printing Peano numbers in decimal #2477

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	24s
lambdapi (5.3.0)	9m 3s
lambdapi (5.2.1)	9m 1s
lambdapi (5.1.1)	8m 39s
lambdapi (5.0.0)	9m 39s
lambdapi (4.14.2)	9m 17s
lambdapi (4.13.1)	10m 13s
lambdapi (4.12.1)	8m 59s
lambdapi (4.11.2)	9m 12s
lambdapi (4.10.2)	8m 7s
lambdapi (4.09.1)	8m 13s
	1h 30m 47s