diff options
author | Bryan Richter <bryan@haskell.foundation> | 2023-02-23 14:45:17 +0200 |
---|---|---|
committer | Bryan Richter <bryan@haskell.foundation> | 2023-02-23 14:45:17 +0200 |
commit | fb60339fe2c90a5d6fd32cdcde91506324a9bb73 (patch) | |
tree | bb932727f74f860983cc97332e6f2611f86fad51 | |
parent | f11d9c274d728696bc173c62a2ead62b8288836f (diff) | |
download | haskell-fb60339fe2c90a5d6fd32cdcde91506324a9bb73.tar.gz |
Propagate failure if unable to push notes
-rwxr-xr-x | .gitlab/test-metrics.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab/test-metrics.sh b/.gitlab/test-metrics.sh index 8d67ee7cee..a423583ef4 100755 --- a/.gitlab/test-metrics.sh +++ b/.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 |