CI

feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage profile #1225

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage-visibility	3m 26s
vscode-smoke	33s
migration-assistant	18s
bench-visibility	3m 19s
build	3m 35s
lint	3m 4s
	14m 15s