Debug WIP

This commit is contained in:
Allan Jeremy 2022-05-26 15:06:47 +03:00
parent 6597c8743e
commit ab0dd7990d
2 changed files with 2 additions and 2 deletions

View file

@ -90,7 +90,7 @@ jobs:
github-token: ${{ secrets.BENCH_GITHUB_TOKEN }}
- name: Push benchmark results
if: github.event.push
if: github.event_name == "push"
run: |
echo "Pushing benchmark results..."
cd gh-pages

View file

@ -83,7 +83,7 @@ jobs:
github-token: ${{ secrets.BENCH_GITHUB_TOKEN }}
- name: Push benchmark results
if: github.event.push
if: github.event_name == "push"
run: |
echo "Pushing benchmark results..."
cd gh-pages