Back to pull request #1182

extend decimal notation to integers #2457

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	22s
lambdapi (5.3.0)	8m 15s
lambdapi (5.2.1)	8m 16s
lambdapi (5.1.1)	8m 16s
lambdapi (5.0.0)	8m 14s
lambdapi (4.14.2)	8m 15s
lambdapi (4.13.1)	8m 14s
lambdapi (4.12.1)	8m 16s
lambdapi (4.11.2)	8m 16s
lambdapi (4.10.2)	8m 16s
lambdapi (4.09.1)	8m 15s
	1h 22m 55s