Remove dependency on actions-rs organization GitHub Actions

These actions are unmaintained and use deprecated GitHub Actions technologies. See: artichoke/project-infrastructure#265
artichoke · Apr 11, 2023 · c5f251b · c5f251b
1 parent be07404
commit c5f251b
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml
@@ -21,10 +21,9 @@ jobs:
         uses: actions/checkout@v3
 
       - name: Install Rust toolchain
-        uses: actions-rs/toolchain@v1
+        uses: artichoke/setup-rust/miri@v1
         with:
-          profile: minimal
-          components: miri, rust-src
+          toolchain: nightly
 
       - name: Miri setup
         run: cargo miri setup