diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9f23270c..1b4a6d71 100644 --- 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 index 775e9019..6ecacc85 100644 --- 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 index 5fa49b0c..151753b4 100644 --- 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 index 93fb5cbf..5f2c6ffa 100644 --- 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