.github/workflows/main.yml

Fix why3 tactic (WIP) #2489

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	9m 12s
lambdapi (5.2.1)	9m 4s
lambdapi (5.1.1)	8m 51s
lambdapi (5.0.0)	9m 45s
lambdapi (4.14.2)	9m 16s
lambdapi (4.13.1)	10m 15s
lambdapi (4.12.1)	9m 10s
lambdapi (4.11.2)	9m 11s
lambdapi (4.10.2)	8m 24s
lambdapi (4.09.1)	8m 10s
	1h 31m 41s