.github/workflows/main.yml

Fix why3 tactic (WIP) #2484

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode	23s
lambdapi (5.3.0)	8m 57s
lambdapi (5.2.1)	8m 42s
lambdapi (5.1.1)	8m 46s
lambdapi (5.0.0)	9m 43s
lambdapi (4.14.2)	9m 17s
lambdapi (4.13.1)	10m 28s
lambdapi (4.12.1)	9m 15s
lambdapi (4.11.2)	8m 18s
lambdapi (4.10.2)	8m 10s
lambdapi (4.09.1)	8m 14s
	1h 30m 13s