[Git][ghc/ghc][master] Propagate failure if unable to push notes

[Bryan R (@chreekat)]

Bryan R pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
fb60339f by Bryan Richter at 2023-02-23T14:45:17+02:00
Propagate failure if unable to push notes

- - - - -


1 changed file:

- .gitlab/test-metrics.sh


Changes:

=====================================
.gitlab/test-metrics.sh
=====================================
@@ -65,6 +65,10 @@ function push() {
     echo ""
     echo "Failed to push git notes. Fetching, appending, and retrying... $MAX_RETRY retries left."
   done
+
+  if [ "$MAX_RETRY" -le 0 ]; then
+    fail "Failed to push git notes, and no more retries remain."
+  fi
 }
 
 case $1 in



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/fb60339fe2c90a5d6fd32cdcde91506324a9bb73

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/fb60339fe2c90a5d6fd32cdcde91506324a9bb73
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230223/6a2b042a/attachment.html>