Skip to content

feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh… #1266

feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh…

feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh… #1266

Triggered via push June 27, 2026 19:46
Status Success
Total duration 4m 23s
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
218 Bytes
sha256:277fa0e78da2ef75a88f952b424c2f85d55b261dbd28f59b6f6c44ef9419dc82