ci: use miri as component and skip docs only change re-run

Author: WiseMrMusa

.github/workflows/docs.yml

@@ -25,15 +25,14 @@ jobs:
           fetch-depth: 1
           persist-credentials: false
 
+      - uses: dtolnay/rust-toolchain@stable
+
       - uses: Swatinem/rust-cache@v2
 
       - name: Setup pages
         id: pages
         uses: actions/configure-pages@v5
 
-      - name: Clean docs folder
-        run: cargo clean --doc
-
       # Documentation with Latex support
       # TODO(template) if Latex is not needed
       # just remove katex-header.html at the root and RUSTDOCFLAGS here

.github/workflows/ub-detection.yml

@@ -1,6 +1,20 @@
 name: UB (undefined behavior) detection
 
-on: push
+on:
+  push:
+    branches: [main]
+    paths-ignore:
+      - "**.md"
+      - "LICENSE*"
+      - ".github/workflows/docs.yml"
+      - "katex-header.html"
+  pull_request:
+    branches: [main]
+    paths-ignore:
+      - "**.md"
+      - "LICENSE*"
+      - ".github/workflows/docs.yml"
+      - "katex-header.html"
 
 permissions:
   contents: read
@@ -23,12 +37,20 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: miri
       - uses: Swatinem/rust-cache@v2
         with:
           cache-on-failure: true
+<<<<<<< HEAD
       - run: |
           rustup +nightly component add miri
           cargo +nightly miri setup
           PROPTEST_DISABLE_FAILURE_PERSISTENCE=true \
             MIRIFLAGS="-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE -Zmiri-strict-provenance" \
             cargo +nightly miri test --lib
+=======
+      - name: Run Miri
+        run: MIRIFLAGS="-Zmiri-strict-provenance" cargo +nightly miri test --lib
+>>>>>>> 5d9ff19 (ci: use miri as component and skip docs only change re-run)