.github/workflows/main.yml

Fix why3 tactic (WIP) #2487

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	9m 7s
lambdapi (5.2.1)	9m 52s
lambdapi (5.1.1)	8m 58s
lambdapi (5.0.0)	10m 47s
lambdapi (4.14.2)	8m 40s
lambdapi (4.13.1)	10m 17s
lambdapi (4.12.1)	9m 17s
lambdapi (4.11.2)	8m 28s
lambdapi (4.10.2)	10m 34s
lambdapi (4.09.1)	8m 12s
	1h 34m 35s