.github/workflows/main.yml

extend decimal notation to integers #2454

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode (ubuntu-latest)	25s
lambdapi (ubuntu-latest, 5.3.0)	6m 58s
lambdapi (ubuntu-latest, 5.2.1)	6m 59s
lambdapi (ubuntu-latest, 5.1.1)	6m 59s
lambdapi (ubuntu-latest, 5.0.0)	6m 59s
lambdapi (ubuntu-latest, 4.14.2)	6m 59s
lambdapi (ubuntu-latest, 4.13.1)	6m 59s
lambdapi (ubuntu-latest, 4.12.1)	7m 0s
lambdapi (ubuntu-latest, 4.11.2)	6m 58s
lambdapi (ubuntu-latest, 4.10.2)	6m 59s
lambdapi (ubuntu-latest, 4.09.1)	6m 59s
	1h 10m 14s