Skip to content

Fix CI with the latest rustup#2052

Merged
bors[bot] merged 2 commits intonix-rust:masterfrom
asomers:toolchain-names-must-not-be-empty
Jun 6, 2023
Merged

Fix CI with the latest rustup#2052
bors[bot] merged 2 commits intonix-rust:masterfrom
asomers:toolchain-names-must-not-be-empty

Commits

Commits on Jun 6, 2023