SPARK Theatre Gate

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

Sign in to view logs

Triggered via push June 27, 2026 19:46

main

Status Success

Total duration 54s

Artifacts –

spark-theatre-gate.yml

on: push

spark-theatre-gate / SPARK Theatre Gate