Repository navigation

fix(governance): pin actions, add ReScript exemption ledger - #91

Merged

hyperpolymath merged 2 commits into

mainfrom

fix/governance-baseline-rot

May 20, 2026

Merged

fix(governance): pin actions, add ReScript exemption ledger#91
hyperpolymath merged 2 commits into
mainfrom
fix/governance-baseline-rot

Commits on May 20, 2026
- fix(governance): pin actions, add ReScript exemption ledger
  
  hyperpolymath
  and
  claude
  committed
  36dcbf3
- fix(governance): upgrade two HTTP links to HTTPS in playground
  
  hyperpolymath
  and
  claude
  committed
  8d0f2ff