.github/workflows/main.yml

Fix why3 tactic (WIP) #2482

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	10m 51s
lambdapi (5.2.1)	8m 59s
lambdapi (5.1.1)	10m 7s
lambdapi (5.0.0)	9m 57s
lambdapi (4.14.2)	9m 6s
lambdapi (4.13.1)	10m 24s
lambdapi (4.12.1)	10m 12s
lambdapi (4.11.2)	8m 43s
lambdapi (4.10.2)	8m 35s
lambdapi (4.09.1)	9m 31s
	1h 36m 48s