Repository navigation

ci: close the lock, bump the standards pin - #33

Merged

hyperpolymath merged 2 commits into

mainfrom

ci/governance-repair

Oct 15, 2026

Merged

ci: close the lock, bump the standards pin#33
hyperpolymath merged 2 commits into
mainfrom
ci/governance-repair

Commits on Oct 15, 2026
- ci: close the lock, bump the standards pin
  
  hyperpolymath
  and
  mistral-vibe
  committed
  affa8dc
- ci: pin checkout to its commit SHA in CodeQL, proofs, and the action lockfile
  coderabbitai[bot]
  committed
  211f3f1