CodeQL Security Analysis

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

Sign in to view logs

Triggered via push June 27, 2026 19:46

main

Status Success

Total duration 47s

Artifacts –

codeql.yml

on: push

Matrix: analyze