Ensure same toolchain version is used locally and in CI#885

padix-key merged 2 commits intobiotite-dev:rustbiotite-dev/biotite:rustfrom

padix-key:rust-listpadix-key/biotite:rust-listCopy head branch name to clipboard