Skip to content

tests: rust-toolchain + profile in settings#4040

Merged
djc merged 1 commit intorust-lang:masterfrom
lucacasonato:test
Oct 3, 2024
Merged

tests: rust-toolchain + profile in settings#4040
djc merged 1 commit intorust-lang:masterfrom
lucacasonato:test

Commits

Commits on Oct 2, 2024