Repository navigation

ci: pin mops CLI to 2.24.0 in publish workflow - #20

Merged

Kamirus merged 1 commit into

ci/pin-mops-cli

Oct 9, 2026

Commits on Oct 9, 2026
- ci: pin mops CLI to 2.24.0 in publish workflow
  
  Kamirus
  and
  claude
  committed
  917b909