Clement Tsang 49ee330116 ci: pin Rust version in CI to file (#1845) ...

* set the CI version to be pinned in jobs instead

* pin it to a file

* .txt

* quotes?

* todo

* bash?

2025-11-02 10:30:15 -05:00

..

rust_version.txt

ci: pin Rust version in CI to file (#1845)

2025-11-02 10:30:15 -05:00