CI

feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… #1214

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	3m 31s
vscode-smoke	32s
bench-visibility	3m 21s
lint	3m 23s
migration-assistant	24s
coverage-visibility	3m 26s
	14m 37s