Skip to content

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

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

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

Triggered via push June 21, 2026 16:45
Status Success
Total duration 3m 43s
Artifacts 1

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 1 warning, and 1 notice
bench-visibility
Process completed with exit code 1.
coverage-visibility
Process completed with exit code 1.
coverage-visibility
No files were found with the provided path: _coverage. No artifacts will be uploaded.
adapter
@hyperpolymath/affine-vscode NOT installed (optional, awaits #104 npm publish) — smoke will skip

Artifacts

Produced during runtime
Name Size Digest
bench-output Expired
218 Bytes
sha256:79ca0ecf44ea5ebbcb9be2ed1d6c56c06e164df85ce500d4a1efd0916e103f3a