Debug WIP

This commit is contained in:
Allan Jeremy 2022-05-26 15:07:34 +03:00
parent ab0dd7990d
commit 656f8421ea
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_name == "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_name == "push"
if: github.event_name == 'push'
run: |
echo "Pushing benchmark results..."
cd gh-pages