diff --git a/.github/workflows/Benchmark.yml b/.github/workflows/Benchmark.yml index 7d6088858..e6cff8f97 100644 --- a/.github/workflows/Benchmark.yml +++ b/.github/workflows/Benchmark.yml @@ -1,8 +1,8 @@ name: Benchmarks permissions: - contents: write # contents permission to update benchmark contents in gh-pages branch - statuses: read - deployments: write # deployments permission to deploy GitHub pages website + contents: write # contents permission to update benchmark contents in gh-pages branch + statuses: read + deployments: write # deployments permission to deploy GitHub pages website on: pull_request: @@ -63,4 +63,4 @@ jobs: comment-always: true alert-threshold: "150%" fail-on-alert: false - auto-push: true + auto-push: ${{ github.event_name != 'pull_request' }}