diff --git a/.github/workflows/benchmark-cachegrind.yml b/.github/workflows/benchmark-cachegrind.yml index 5bb8613b..b686a436 100644 --- a/.github/workflows/benchmark-cachegrind.yml +++ b/.github/workflows/benchmark-cachegrind.yml @@ -90,7 +90,7 @@ jobs: github-token: ${{ secrets.BENCH_GITHUB_TOKEN }} - name: Push benchmark results - if: github.event_name == "push" + if: github.event_name == 'push' run: | echo "Pushing benchmark results..." cd gh-pages diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index a81b95fe..c43a6ed9 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -83,7 +83,7 @@ jobs: github-token: ${{ secrets.BENCH_GITHUB_TOKEN }} - name: Push benchmark results - if: github.event_name == "push" + if: github.event_name == 'push' run: | echo "Pushing benchmark results..." cd gh-pages