diff --git a/.github/workflows/dep_miri.yml b/.github/workflows/dep_miri.yml index 35a7272b2..858e5b6ed 100644 --- a/.github/workflows/dep_miri.yml +++ b/.github/workflows/dep_miri.yml @@ -50,7 +50,7 @@ jobs: # The shared setup reads /dev/kvm to report what the runner offers, which # a hosted one need not have. Miri wants a toolchain and two tools, so it # asks for those rather than everything a hypervisor job needs. - - uses: dtolnay/rust-toolchain@e2a55d2ffb04f378e9626c28d38b36d230d1e12f # master + - uses: dtolnay/rust-toolchain@683b588c487a69d01f6c6ddf40f036ff682cc2c8 # master with: toolchain: "1.94"