feat(.github/perf): reference metrics dashboard (#297)
This commit is contained in:
parent
09d15c0e8b
commit
0b4e5e490d
|
@ -84,10 +84,13 @@ jobs:
|
||||||
working-directory: perf/runner
|
working-directory: perf/runner
|
||||||
- name: Push
|
- name: Push
|
||||||
if: github.event.inputs.push == 'true'
|
if: github.event.inputs.push == 'true'
|
||||||
|
env:
|
||||||
|
GITHUB_TOKEN: ${{ github.token }}
|
||||||
run: |
|
run: |
|
||||||
git add benchmark-results.json
|
git add benchmark-results.json
|
||||||
git commit -m "perf: update benchmark results"
|
git commit -m "perf: update benchmark results"
|
||||||
git push
|
git push
|
||||||
|
gh pr comment --body "See new metrics at https://observablehq.com/@libp2p-workspace/performance-dashboard?branch=$(git rev-parse HEAD)" || true
|
||||||
working-directory: perf/runner
|
working-directory: perf/runner
|
||||||
- name: Archive
|
- name: Archive
|
||||||
if: github.event.intputs.push == 'false'
|
if: github.event.intputs.push == 'false'
|
||||||
|
|
Loading…
Reference in New Issue