.github/workflows/main.yml

Indexing2025 #2582

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	10m 48s
lambdapi (5.2.1)	10m 25s
lambdapi (5.1.1)	10m 13s
lambdapi (5.0.0)	11m 14s
lambdapi (4.14.2)	10m 38s
lambdapi (4.13.1)	10m 21s
lambdapi (4.12.1)	10m 19s
lambdapi (4.11.2)	9m 48s
lambdapi (4.10.2)	9m 56s
lambdapi (4.09.1)	9m 40s
	1h 43m 45s