diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-01-15 10:10:49 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-22 15:04:02 -0500 |
| commit | fcbf21aae2ce37854552b9313ca4c908c039a2d1 (patch) | |
| tree | 4408a5a00db77b7a040f7de01c0fc0a0055141f9 /.gitlab | |
| parent | db16302cfd0624b71c5914400949f1f6799e87e9 (diff) | |
| download | haskell-fcbf21aae2ce37854552b9313ca4c908c039a2d1.tar.gz | |
gitlab-ci: Fix perf metric pushing
Previously we would inexplicably append the key to id_rsa.
Fixes #19225.
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/test-metrics.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/test-metrics.sh b/.gitlab/test-metrics.sh index 5ffb8110d9..038d3143cf 100755 --- a/.gitlab/test-metrics.sh +++ b/.gitlab/test-metrics.sh @@ -34,7 +34,7 @@ function setup_ssh() { echo "ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDJPR1vrZgeGTXmgJw2PsJfMjf22LcDnVVwt3l0rwTZ+8Q2J0bHaYxMRKBco1sON6LGcZepw0Hy76RQ87v057pTz18SXvnfE7U/B6v9qBk0ILJz+4BOX9sEhxu2XmScp/wMxkG9IoyruMlsxXzd1sz09o+rzzx24U2Rp27PRm08vG0oipve6BWLbYEqYrE4/nCufqOJmGd56fju7OTU0lTpEkGDEDWGMxutaX2CbTbDju7qy07Ld8BjSc9aHfvuQaslUbj3ex3EF8EXahURzGpHQn/UFFzVGMokFumiJCAagHQb7cj6jOkKseZLaysbA/mTBQsOzjWiRmkN23bQf1wF ben+ghc-ci@smart-cactus.org" > ~/.ssh/perf_rsa.pub touch ~/.ssh/perf_rsa chmod 0600 ~/.ssh/perf_rsa - echo "$PERF_NOTE_KEY" >> ~/.ssh/perf_rsa + echo "$PERF_NOTE_KEY" > ~/.ssh/perf_rsa ssh-add ~/.ssh/perf_rsa } |