Skip to content

Pin MoonBit toolchain in CI - #174

Merged
mizchi merged 1 commit into
mainfrom
agent/pin-moonbit-ci
Aug 11, 2026
Merged

mizchi merged 1 commit into
mainfrom
agent/pin-moonbit-ci

Commits

Commits on Aug 11, 2026