summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-06-13 15:10:55 -0400
committerBen Gamari <ben@smart-cactus.org>2020-06-13 15:10:55 -0400
commit7a773f169cfe072c7b29924c53075e4dfa4e2adb (patch)
tree386d93f3ca7af905dfc4018827e45617ae89978d
parent8bba1c26193e704d2d6bb2be9a2fac668b0ea54c (diff)
downloadhaskell-7a773f169cfe072c7b29924c53075e4dfa4e2adb.tar.gz
gitlab-ci: Eliminate redundant push of CI metrics
-rwxr-xr-x.gitlab/ci.sh12
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 $@ ;;