fixup! ci: consolidate into a single workflow and improve CI

Author: BennoLossin

.github/workflows/ci.yml

@@ -66,16 +66,7 @@ jobs:
       - run: git rebase --exec 'cargo test --locked' --root
   miri:
     runs-on: ubuntu-latest
-    strategy:
-      fail-fast: false
-      matrix:
-        flags: [
-          "",
-          "-Zmiri-tree-borrows",
-          "-Zmiri-strict-provenance",
-          "-Zmiri-tree-borrows -Zmiri-strict-provenance",
-        ]
-    name: "miri (${{matrix.flags}})"
+    name: "miri"
     steps:
       - uses: actions/checkout@v4
         with:
@@ -90,10 +81,16 @@ jobs:
           components: miri, rust-src
       - run: cargo install cargo-expand
       - run: git config user.name "github-runner" && git config user.email "<>"
-      - name: ${{matrix.flags}} cargo miri test
-        run: git rebase --exec 'cargo miri test --locked' --root
+      - run: git rebase --exec 'cargo miri test --locked' --root
+      - run: git rebase --exec 'cargo miri test --locked' --root
+        env:
+          MIRIFLAGS: "-Zmiri-tree-borrows"
+      - run: git rebase --exec 'cargo miri test --locked' --root
+        env:
+          MIRIFLAGS: "-Zmiri-strict-provenance"
+      - run: git rebase --exec 'cargo miri test --locked' --root
         env:
-          MIRIFLAGS: ${{matrix.flags}}
+          MIRIFLAGS: "-Zmiri-tree-borrows -Zmiri-strict-provenance"
   sanitizers:
     runs-on: ubuntu-latest
     steps:
@@ -107,12 +104,9 @@ jobs:
       - name: enable debug symbols
         run: |
           sudo apt install llvm
-          # https://github.com/japaric/rust-san#unrealiable-leaksanitizer
-          sed -i '/\[features\]/i [profile.dev]' Cargo.toml
-          sed -i '/profile.dev/a opt-level = 1' Cargo.toml
-          cat Cargo.toml
       - run: git config user.name "github-runner" && git config user.email "<>"
-      - run: git rebase --exec 'cargo test --lib --tests --target x86_64-unknown-linux-gnu' --root
+      # sed because of https://github.com/japaric/rust-san#unrealiable-leaksanitizer
+      - run: git rebase --exec "sed -i '/\[features\]/i [profile.dev]' Cargo.toml && sed -i '/profile.dev/a opt-level = 1' Cargo.toml" --exec 'cargo test --lib --tests --target x86_64-unknown-linux-gnu' --exec 'git restore Cargo.toml' --root
         env:
           ASAN_OPTIONS: "detect_odr_violation=0:detect_leaks=0"
           RUSTFLAGS: "--cfg NO_UI_TESTS --cfg NO_ALLOC_FAIL_TESTS -Z sanitizer=address"