diff options
| author | Laurențiu Nicola <lnicola@dend.ro> | 2023-10-16 16:34:03 +0300 |
|---|---|---|
| committer | Laurențiu Nicola <lnicola@dend.ro> | 2023-10-16 16:34:03 +0300 |
| commit | 490cdfecb59f3d60db97318b2fa90414685702ab (patch) | |
| tree | 3008ff913c54af93917f68b6c4b4793024b6f9a8 | |
| parent | 03f676ed1fa3d9c0b39a8ba629b9cec0a142fe93 (diff) | |
| download | rust-490cdfecb59f3d60db97318b2fa90414685702ab.tar.gz rust-490cdfecb59f3d60db97318b2fa90414685702ab.zip | |
Fix metrics repo url
| -rw-r--r-- | .github/workflows/metrics.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/metrics.yaml b/.github/workflows/metrics.yaml index e43149916eb..741e559953f 100644 --- a/.github/workflows/metrics.yaml +++ b/.github/workflows/metrics.yaml @@ -145,7 +145,7 @@ jobs: chmod 600 ~/.ssh/id_ed25519 chmod 700 ~/.ssh - git clone --depth 1 git@github.com/rust-analyzer/metrics.git + 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 . |
