CI

feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly #1218

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
vscode-smoke	31s
migration-assistant	28s
coverage-visibility	3m 19s
build	3m 51s
bench-visibility	3m 34s
lint	3m 26s
	15m 9s