Skip to content

chore: update rust-toolchain action#80

Merged
BartWaardenburg merged 1 commit into
mainfrom
codex/update-rust-toolchain-action
Jul 14, 2026
Merged

chore: update rust-toolchain action#80
BartWaardenburg merged 1 commit into
mainfrom
codex/update-rust-toolchain-action

Commits

Commits on Jul 14, 2026