CI

Un-break CI: restore the DOC-04 banner, re-arm the disarmed gates, revert a stale merge's silent ledger regression #1451

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	6m 45s
lint	3m 27s
bench-visibility	3m 34s
coverage-visibility	3m 18s
vscode-smoke	35s
migration-assistant	24s
	18m 3s