Skip to content

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

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

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

Triggered via push June 27, 2026 19:46
Status Success
Total duration 19s
Artifacts
governance  /  Validate Hypatia baseline
6s
governance / Validate Hypatia baseline
Fit to window
Zoom out
Zoom in

Annotations

1 notice
governance / Validate Hypatia baseline
No .hypatia-baseline.json present — nothing to validate.