diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml deleted file mode 100644 index 92e367ca6..000000000 --- a/.github/workflows/pull_request.yml +++ /dev/null @@ -1,14 +0,0 @@ -# .github/workflows/pull_request.yml - -on: [pull_request] -name: benchmark pull requests -jobs: - runBenchmark: - name: run benchmark - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@master - - name: run benchmark - uses: matchai/criterion-compare-action@master - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}