diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-07-23 14:07:39 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-07-24 09:21:10 -0400 |
| commit | f81ae23c9c334698babb436df9573d58bce51a97 (patch) | |
| tree | 8be1f906f148a683fc0029938db373f5b68af3c2 | |
| parent | 9fe2579076392ca6eb3bb37c6351d2944e3f91c7 (diff) | |
| download | haskell-wip/win32-testsuite-fixes.tar.gz | |
gitlab-ci: Kill ssh-agent after pushing test metricswip/win32-testsuite-fixes
Otherwise the Windows builds hang forever waiting for the process to
terminate.
| -rwxr-xr-x | .gitlab/test-metrics.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitlab/test-metrics.sh b/.gitlab/test-metrics.sh index 75952d28de..5ffb8110d9 100755 --- a/.gitlab/test-metrics.sh +++ b/.gitlab/test-metrics.sh @@ -81,6 +81,10 @@ function push() { echo "" echo "Failed to push git notes. Fetching, appending, and retrying... $MAX_RETRY retries left." done + + # Be sure to kill agent before we terminate since otherwise the Windows CI + # job won't finish. + ssh-agent -k } case $1 in @@ -88,3 +92,4 @@ case $1 in pull) pull ;; *) fail "Invalid mode $1" ;; esac + |