From 656f8421eab08f752fe42c41b17bfc408c5eb591 Mon Sep 17 00:00:00 2001 From: Allan Jeremy Date: Thu, 26 May 2022 15:07:34 +0300 Subject: [PATCH] Debug WIP --- .github/workflows/benchmark-cachegrind.yml | 2 +- .github/workflows/benchmark.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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