ci: run doc tests with miri (#7060)

2026-08-28 00:00:11 +02:00 · 2025-01-02 13:14:30 +00:00
parent b3ff911c38
commit 2052938a9f
9 changed files with 48 additions and 0 deletions
@@ -403,6 +403,25 @@ jobs:
        env:
          MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields

+  miri-doc-test:
+    name: miri-doc-test
+    needs: basics
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install Rust ${{ env.rust_miri_nightly }}
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: ${{ env.rust_miri_nightly }}
+          components: miri
+      - uses: Swatinem/rust-cache@v2
+      - name: miri-doc-test
+        run: |
+          cargo miri test --doc --all-features --no-fail-fast
+        working-directory: tokio
+        env:
+          MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields
+
  asan:
    name: asan
    needs: basics