.github/workflows/main.yml

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	9m 53s
lambdapi (5.2.1)	8m 57s
lambdapi (5.1.1)	8m 50s
lambdapi (5.0.0)	9m 43s
lambdapi (4.14.2)	8m 49s
lambdapi (4.13.1)	10m 12s
lambdapi (4.12.1)	9m 11s
lambdapi (4.11.2)	9m 0s
lambdapi (4.10.2)	8m 15s
lambdapi (4.09.1)	8m 32s
	1h 31m 45s