OSSF Scorecard

proof(formal): close L3009 admit + 2 reusable region lemmas + chore (… #296

Sign in to view logs

Triggered via push April 27, 2026 12:39

main

Status Success

Total duration 1h 0m 22s

Artifacts –

scorecard.yml

on: push