diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-06-13 15:10:55 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-06-13 15:10:55 -0400 |
| commit | 7a773f169cfe072c7b29924c53075e4dfa4e2adb (patch) | |
| tree | 386d93f3ca7af905dfc4018827e45617ae89978d | |
| parent | 8bba1c26193e704d2d6bb2be9a2fac668b0ea54c (diff) | |
| download | haskell-7a773f169cfe072c7b29924c53075e4dfa4e2adb.tar.gz | |
gitlab-ci: Eliminate redundant push of CI metrics
| -rwxr-xr-x | .gitlab/ci.sh | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 073302a792..9d43f56a34 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -443,16 +443,20 @@ case $1 in build_make) build_make ;; test_make) fetch_perf_notes - test_make || push_perf_notes - push_perf_notes ;; + res=0 + test_make || res=$? + push_perf_notes + exit $res ;; build_hadrian) build_hadrian ;; # N.B. Always push notes, even if the build fails. This is okay to do as the # testsuite driver doesn't record notes for tests that fail due to # correctness. test_hadrian) fetch_perf_notes - test_hadrian || push_perf_notes - push_perf_notes ;; + res=0 + test_hadrian || res=$? + push_perf_notes + exit $res ;; run_hadrian) run_hadrian $@ ;; clean) clean ;; shell) shell $@ ;; |