Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to '.github/workflows/metrics.yaml')
-rw-r--r--.github/workflows/metrics.yaml9
1 files changed, 7 insertions, 2 deletions
diff --git a/.github/workflows/metrics.yaml b/.github/workflows/metrics.yaml
index 741e559953..e6a9917a0b 100644
--- a/.github/workflows/metrics.yaml
+++ b/.github/workflows/metrics.yaml
@@ -67,7 +67,7 @@ jobs:
other_metrics:
strategy:
matrix:
- names: [self, ripgrep-13.0.0, webrender-2022, diesel-1.4.8, hyper-0.14.18]
+ names: [self, rustc_tests, ripgrep-13.0.0, webrender-2022, diesel-1.4.8, hyper-0.14.18]
runs-on: ubuntu-latest
needs: [setup_cargo, build_metrics]
@@ -118,6 +118,11 @@ jobs:
with:
name: self-${{ github.sha }}
+ - name: Download rustc_tests metrics
+ uses: actions/download-artifact@v3
+ with:
+ name: rustc_tests-${{ github.sha }}
+
- name: Download ripgrep-13.0.0 metrics
uses: actions/download-artifact@v3
with:
@@ -146,7 +151,7 @@ jobs:
chmod 700 ~/.ssh
git clone --depth 1 [email protected]: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
+ jq -s ".[0] * .[1] * .[2] * .[3] * .[4] * .[5] * .[6]" build.json self.json rustc_tests.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 [email protected] commit --message 📈