diff --git a/.github/workflows/dep_miri.yml b/.github/workflows/dep_miri.yml index 4e9a428fd..35a7272b2 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@7e38f4b43b4db5c8dd498af069a4f6196df1d067 # master + - uses: dtolnay/rust-toolchain@e2a55d2ffb04f378e9626c28d38b36d230d1e12f # master with: toolchain: "1.94"