Skip to content

ci: use mise for tool management#1053

Merged
phm07 merged 3 commits into
mainfrom
mise
Jun 5, 2025
Merged

ci: use mise for tool management#1053
phm07 merged 3 commits into
mainfrom
mise

Commits

Commits on Jun 5, 2025