print cargo miri --help output

rs-workspace · Nov 25, 2024 · 1e2037b · 1e2037b
1 parent 6325b44
commit 1e2037b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -57,9 +57,12 @@ jobs:
         id: test-action
         uses: ./
         with:
-          toolchain: stable
+          toolchain: nightly
           profile: minimal
           components: miri
+
+      - name: Test miri --help
+        run: cargo miri --help
 
       - name: Print Output
         id: output