diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index 63b0e711..7875a10e 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -15,3 +15,9 @@ jobs: with: branchName: ${{ github.base_ref }} token: ${{ secrets.GITHUB_TOKEN }} + - uses: boa-dev/criterion-compare-action@v3 + with: + branchName: ${{ github.base_ref }} + token: ${{ secrets.GITHUB_TOKEN }} + defaultFeatures: false + features: "std"