.github/workflows/main.yml

Fix why3 tactic (WIP) #2483

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	37s
lambdapi (5.3.0)	8m 52s
lambdapi (5.2.1)	8m 44s
lambdapi (5.1.1)	8m 53s
lambdapi (5.0.0)	9m 32s
lambdapi (4.14.2)	13m 12s
lambdapi (4.13.1)	10m 29s
lambdapi (4.12.1)	9m 16s
lambdapi (4.11.2)	8m 6s
lambdapi (4.10.2)	8m 45s
lambdapi (4.09.1)	8m 37s
	1h 35m 3s