Skip to content

Use new filename for the rust toolchain - #22

Merged
antoyo merged 1 commit into
mainfrom
fix/ci
Sep 24, 2026
Merged

antoyo merged 1 commit into
mainfrom
fix/ci

Commits

Commits on Sep 24, 2026