CI

Un-break CI: restore the DOC-04 banner, re-arm the disarmed gates, re… #1452

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	5m 23s
migration-assistant	26s
build	3m 51s
coverage-visibility	6m 56s
bench-visibility	3m 24s
vscode-smoke	44s
	20m 44s