CI

docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wave 1–3 #1223

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage-visibility	3m 20s
build	3m 42s
vscode-smoke	27s
lint	3m 21s
migration-assistant	23s
bench-visibility	3m 20s
	14m 33s