luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Commented out push functionality

Browse source
This commit is contained in:
Allan Jeremy 2022-06-16 16:36:36 +03:00
parent 2b467d22be
commit caa2474a7a
1 changed files with 22 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

44
.github/workflows/benchmark.yml vendored
View file

@ -89,17 +89,17 @@ jobs:
comment-always: true comment-always: true
github-token: ${{ secrets.GITHUB_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Push benchmark results # - name: Push benchmark results
if: github.event_name == 'push' # if: github.event_name == 'push'
run: | # run: |
echo "Pushing benchmark results..." # echo "Pushing benchmark results..."
cd gh-pages # cd gh-pages
git config user.name github-actions # git config user.name github-actions
git config user.email github@users.noreply.github.com # git config user.email github@users.noreply.github.com
git add ./dev/bench/data.json # git add ./dev/bench/data.json
git commit -m "Add benchmarks results for ${{ github.sha }}" # git commit -m "Add benchmarks results for ${{ github.sha }}"
git push # git push
cd .. # cd ..
unix: unix:
name: Run ${{ matrix.bench.title }} (${{ matrix.os}}) name: Run ${{ matrix.bench.title }} (${{ matrix.os}})
@ -189,14 +189,14 @@ jobs:
comment-on-alert: true comment-on-alert: true
github-token: ${{ secrets.GITHUB_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Push benchmark results # - name: Push benchmark results
if: github.event_name == 'push' # if: github.event_name == 'push'
run: | # run: |
echo "Pushing benchmark results..." # echo "Pushing benchmark results..."
cd gh-pages # cd gh-pages
git config user.name github-actions # git config user.name github-actions
git config user.email github@users.noreply.github.com # git config user.email github@users.noreply.github.com
git add ./dev/bench/data.json # git add ./dev/bench/data.json
git commit -m "Add benchmarks results for ${{ github.sha }}" # git commit -m "Add benchmarks results for ${{ github.sha }}"
git push # git push
cd .. # cd ..