CI

fix(#624): fence Lean/Why3 on early `return`; finish the soundness-ga… #1217

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage-visibility	2m 40s
vscode-smoke	31s
build	2m 41s
bench-visibility	2m 41s
migration-assistant	19s
lint	2m 42s
	11m 34s