Scorecards supply-chain security

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

Sign in to view logs

Triggered via push June 27, 2026 19:46

main

Status Success

Total duration 48s

Artifacts –

scorecard.yml

on: push

Scorecard analysis