add miri step

shinolab · Jan 25, 2025 · 1bf7282 · 1bf7282
1 parent 512fbea
commit 1bf7282
Show file tree

Hide file tree

Showing 4 changed files with 38 additions and 9 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -41,6 +41,20 @@ jobs:
           tool: cargo-nextest
       - run: cargo make check --features "${{ matrix.features }}"
 
+  miri:
+    name: test-with-miri
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: true
+      - uses: ./.github/actions/setup-build
+        with:
+          components: miri
+      - uses: taiki-e/install-action@v2
+        with:
+          tool: cargo-nextest
+      - run: cargo make miri
 
   build-docs:
     name: build-docs

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -14,10 +14,6 @@ defaults:
   run:
     shell: bash
 
-env:
-  RUSTFLAGS: "-Cinstrument-coverage"
-  LLVM_PROFILE_FILE: "target/coverage/%p-%m.profraw"
-
 jobs:
   coverage:
     runs-on: ubuntu-latest
@@ -28,9 +24,11 @@ jobs:
       - uses: ./.github/actions/setup-build
         with:
           components: llvm-tools
-      - run: cargo install grcov
-      - run: |
-          cargo make cov lcov
+      - uses: SierraSoftworks/setup-grcov@v1
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          version: latest
+      - run: cargo make cov lcov
       - uses: codecov/codecov-action@v4
         with:
           token: ${{ secrets.CODECOV_TOKEN }}

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -31,5 +31,4 @@ jobs:
       - uses: taiki-e/install-action@v2
         with:
           tool: cargo-nextest
-      - run: |
-          cargo make -e CARGO_TOOLCHAIN=${{ inputs.channel }} miri
+      - run: cargo make -e CARGO_TOOLCHAIN=${{ inputs.channel }} miri
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -67,6 +67,23 @@ jobs:
       - if: ${{ needs.test.result == 'failure' || needs.test.result == 'cancelled' }}
         run: exit 1
 
+  miri:
+    needs: changed-files
+    if: ${{ needs.changed-files.outputs.src == 'true' }}
+    name: test-with-miri
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: true
+      - uses: ./.github/actions/setup-build
+        with:
+          components: miri
+      - uses: taiki-e/install-action@v2
+        with:
+          tool: cargo-nextest
+      - run: cargo make miri
+
   build-docs:
     needs: changed-files
     if: ${{ needs.changed-files.outputs.src == 'true' }}
@@ -96,6 +113,7 @@ jobs:
   auto-merge:
     needs:
       - all-tests-passed
+      - miri
       - build-docs
     permissions:
       pull-requests: write