Skip to content

Commit

Permalink
Fix metrics workflow to use deploy key
Browse files Browse the repository at this point in the history
  • Loading branch information
Veykril committed Oct 15, 2023
1 parent 65532e4 commit d33fd15
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions .github/workflows/metrics.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -140,11 +140,12 @@ jobs:

- name: Combine json
run: |
git clone --depth 1 https://$METRICS_TOKEN@github.com/rust-analyzer/metrics.git
echo "${{ secrets.METRICS_DEPLOY_KEY }}" > ~/.ssh/id_ed25519
chmod 600 ~/.ssh/id_ed25519
git clone --depth 1 git@github.com/rust-analyzer/metrics.git
jq -s ".[0] * .[1] * .[2] * .[3] * .[4] * .[5]" build.json self.json ripgrep-13.0.0.json webrender-2022.json diesel-1.4.8.json hyper-0.14.18.json -c >> metrics/metrics.json
cd metrics
git add .
git -c user.name=Bot -c user.email=dummy@example.com commit --message 📈
git push origin master
env:
METRICS_TOKEN: ${{ secrets.METRICS_TOKEN }}

0 comments on commit d33fd15

Please sign in to comment.