update actions

.github/workflows/build.yml

@@ -41,6 +41,21 @@ 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:
+          toolchain: nightly
+          components: miri
+      - uses: taiki-e/install-action@v2
+        with:
+          tool: cargo-nextest
+      - run: cargo make miri
 
   build-docs:
     name: build-docs

.github/workflows/coverage.yml

@@ -14,12 +14,25 @@ defaults:
   run:
     shell: bash
 
-env:
-  RUSTFLAGS: "-Cinstrument-coverage"
-  LLVM_PROFILE_FILE: "target/coverage/%p-%m.profraw"
-
 jobs:
+  changed-files:
+    name: changed-files
+    runs-on: ubuntu-latest
+    outputs:
+      src: ${{ steps.changed-files-yaml.outputs.src_any_changed }}
+    steps:
+      - uses: actions/checkout@v4
+      - id: changed-files-yaml
+        uses: tj-actions/changed-files@v45
+        with:
+          files_yaml: |
+            src:
+              - '**/*.rs'
+              - '**/Cargo.toml'
+
   coverage:
+    needs: changed-files
+    if: github.event_name != 'pull_request' || ${{ needs.changed-files.outputs.src == 'true' }}
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -28,9 +41,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 }}

.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

.github/workflows/pr.yml

@@ -67,6 +67,24 @@ 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:
+          toolchain: nightly
+          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 +114,7 @@ jobs:
   auto-merge:
     needs:
       - all-tests-passed
+      - miri
       - build-docs
     permissions:
       pull-requests: write