CI

chore(ci): add dormant push-email notification workflow #1255

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage-visibility	3m 23s
vscode-smoke	28s
lint	3m 21s
bench-visibility	3m 12s
migration-assistant	40s
build	3m 14s
	14m 18s