diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-01-15 10:10:49 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-01-15 10:10:49 -0500 |
| commit | e4c6a5c9a7bea5664de4e221197de6104647709e (patch) | |
| tree | a8e573995d91dc5f0a5e802509f4a5ca655f6213 | |
| parent | 0dba78410887ffc3d219639081e284ef7b67560a (diff) | |
| download | haskell-wip/T19225.tar.gz | |
gitlab-ci: Fix perf metric pushingwip/T19225
Previously we would inexplicably append the key to id_rsa.
Fixes #19225.
| -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 } |