Skip to content

Pin CI to Rust nightly-2025-06-23.#1486

Merged
sunfishcode merged 1 commit into
mainfrom
sunfishcode/j-pin-nightly
Jun 28, 2025
Merged

Pin CI to Rust nightly-2025-06-23.#1486
sunfishcode merged 1 commit into
mainfrom
sunfishcode/j-pin-nightly

Commits

Commits on Jun 28, 2025