Skip to content

[codex] chore: pin Rust toolchain - #35

Merged
ubugeeei merged 1 commit into
mainfrom
codex/rust-toolchain
May 18, 2026
Merged

[codex] chore: pin Rust toolchain#35
ubugeeei merged 1 commit into
mainfrom
codex/rust-toolchain

chore: pin Rust toolchain

c73d410
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 errors and 1 warning

The logs for this run have expired and are no longer available.