diff options
| author | Christian Moritz <chrmoritz@users.noreply.github.com> | 2019-10-06 17:18:15 +0200 |
|---|---|---|
| committer | Ryan Dahl <ry@tinyclouds.org> | 2019-10-06 11:18:15 -0400 |
| commit | 3e02d7ddbc04cf3bfc681a5f4cfe6b91a9860cbd (patch) | |
| tree | 5ec3a415d8f13e784f74d593680c02c5fca8a9a8 /.github/workflows/build.yml | |
| parent | bed7034fc44a8d20e11a85b6092e7f0f34f43ff8 (diff) | |
refactor benchmark results posting (#3076)
Diffstat (limited to '.github/workflows/build.yml')
| -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' |