Skip to content

ci: use rust toolchain v1.71.0#1146

Merged
hugocaillard merged 2 commits intodevelopfrom fix/rust-version-ciSep 7, 2023