diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c6e526b2c..b1d873741 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -115,16 +115,15 @@ jobs: env: DENOBOT_PAT: ${{ secrets.DENOBOT_PAT }} run: | - # Note gh-pages branch is cloned into //gh-pages/ by - # tools/benchmark.py, hence the following copy is ok: + git clone --depth 1 -b gh-pages https://${DENOBOT_PAT}@github.com/denoland/deno.git gh-pages + python ./tools/build_benchmark_jsons.py cp -r website/* gh-pages/ cd gh-pages - git remote add origin2 https://${DENOBOT_PAT}@github.com/denoland/deno.git git config user.email "propelml@gmail.com" git config user.name "denobot" git add . git commit --message "Update benchmarks" - git push origin2 gh-pages + git push origin gh-pages - name: Worker info if: matrix.kind == 'bench' |