.github/workflows/main.yml

Fix why3 tactic (#1174) #2490

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	22s
lambdapi (5.3.0)	8m 48s
lambdapi (5.2.1)	8m 53s
lambdapi (5.1.1)	9m 29s
lambdapi (5.0.0)	9m 45s
lambdapi (4.14.2)	9m 29s
lambdapi (4.13.1)	10m 29s
lambdapi (4.12.1)	8m 45s
lambdapi (4.11.2)	8m 16s
lambdapi (4.10.2)	8m 5s
lambdapi (4.09.1)	8m 18s
	1h 30m 39s