github actions: miri testing

MaulingMonkey · Feb 13, 2024 · c7fd9e9 · c7fd9e9
1 parent e43702b
commit c7fd9e9
Showing 1 changed file with 17 additions and 10 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -13,18 +13,25 @@ jobs:
     runs-on: windows-2019
     steps:
     - {uses: actions/checkout@v2}
-    - {name: Info,                      run: rustc -V && cargo -V && cmd /C ver                     }
-    - {name: Build (default features),  run: cargo b --target-dir=target/default-features           }
-    - {name:  Test (default features),  run: cargo t --target-dir=target/default-features           }
-    - {name: Build (all features),      run: cargo b --target-dir=target/all-features --all-features}
-    - {name:  Test (all features),      run: cargo t --target-dir=target/all-features --all-features}
+    - {name:  Info MSRV,                      run: rustc -V && cargo -V && cmd /C ver                 }
+    - {name: Build MSRV (default features),   run: cargo build --target-dir=target/msrv               }
+    - {name:  Test MSRV (default features),   run: cargo test  --target-dir=target/msrv               }
+    - {name: Build MSRV (all features),       run: cargo build --target-dir=target/msrv --all-features}
+    - {name:  Test MSRV (all features),       run: cargo test  --target-dir=target/msrv --all-features}
   linux:
     name: Ubuntu Latest
     runs-on: ubuntu-latest
     steps:
     - {uses: actions/checkout@v2}
-    - {name: Info,                      run: rustc -V && cargo -V && rustc +stable -V && cargo +stable -V && cat /proc/version /etc/*-release}
-    - {name: Build (default features),  run: cargo b --target-dir=target/default-features           }
-    - {name:  Test (default features),  run: cargo t --target-dir=target/default-features           }
-    - {name: Build (all features),      run: cargo b --target-dir=target/all-features --all-features}
-    - {name:  Test (all features),      run: cargo t --target-dir=target/all-features --all-features}
+    - {name:  Info MSRV,                      run: rustc -V && cargo -V && cat /proc/version /etc/*-release}
+    - {name: Build MSRV (default features),   run: cargo         build      --target-dir=target/msrv                  }
+    - {name:  Test MSRV (default features),   run: cargo         test       --target-dir=target/msrv                  }
+    - {name: Build MSRV,                      run: cargo         build      --target-dir=target/msrv    --all-features}
+    - {name:  Test MSRV,                      run: cargo         test       --target-dir=target/msrv    --all-features}
+    - {name:  Info Stable,                    run: rustc +stable -V && cargo +stable -V}
+    - {name: Build Stable,                    run: cargo +stable build      --target-dir=target/stable  --all-features}
+    - {name:  Test Stable,                    run: cargo +stable test       --target-dir=target/stable  --all-features}
+    - {name: Install Nightly,                 run: rustup toolchain add nightly && rustup component add miri --toolchain nightly}
+    - {name:  Info Nightly,                   run: rustc +nightly -V && cargo +nightly -V}
+    - {name:  Miri Nightly Tests,             run: cargo +nightly miri test --target-dir=target/nightly --all-features}
+    - {name:  Miri Nightly Example debugger,  run: cargo +nightly miri run  --target-dir=target/nightly --all-features --example debugger}