.github/workflows/main.yml

Fix why3 tactic (WIP) #2481

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	24s
lambdapi (5.3.0)	9m 49s
lambdapi (5.2.1)	9m 55s
lambdapi (5.1.1)	8m 56s
lambdapi (5.0.0)	9m 51s
lambdapi (4.14.2)	9m 11s
lambdapi (4.13.1)	11m 8s
lambdapi (4.12.1)	10m 8s
lambdapi (4.11.2)	11m 4s
lambdapi (4.10.2)	8m 27s
lambdapi (4.09.1)	9m 27s
	1h 38m 20s