Security Policy

wip(proof-debt): rescue uncommitted #133 Coq/Lean CNO work [UNVERIFIED] #70

Sign in to view logs

Triggered via push May 18, 2026 22:18

proof-debt/standards-133-coq-rescue-wip

Status Success

Total duration 12h 33m 58s

Artifacts –

security-policy.yml

on: push