This PR performs some routine maintenance on our CI workflow:
Replaces actions-rs/toolchain with dtolnay/rust-toolchain. The actions at actions-rs are no longer maintained, and they use deprecated GitHub Actions APIs. dtolnay's action does not support the override option, but we didn't actually need to use it anyway.
Upgrades actions/checkout to v4, because v3 causes some warnings since it uses Node.js 16, which is deprecated.
This PR performs some routine maintenance on our CI workflow:
actions-rs/toolchainwithdtolnay/rust-toolchain. The actions atactions-rsare no longer maintained, and they use deprecated GitHub Actions APIs. dtolnay's action does not support theoverrideoption, but we didn't actually need to use it anyway.actions/checkoutto v4, because v3 causes some warnings since it uses Node.js 16, which is deprecated.