diff options
author | Silvan Mosberger <contact@infinisil.com> | 2024-07-05 02:13:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-07-05 02:13:13 +0200 |
commit | d2a6a829adb4ee780838a0ab7aabed520983b6ca (patch) | |
tree | 51eed819ab0a60ac193b52bb89589041b499a8f8 /.github | |
parent | 4f7953d244429d698b5a6e4b464d0a58b750229d (diff) | |
parent | 435f0daf1814b9b1629e3921c01cb5eebaff83f0 (diff) |
Merge pull request #323216 from tweag/github-status
workflows/check-by-name: link to githubstatus
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/check-by-name.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check-by-name.yml b/.github/workflows/check-by-name.yml index 7b08d9f95131..0c0727eba122 100644 --- a/.github/workflows/check-by-name.yml +++ b/.github/workflows/check-by-name.yml @@ -58,7 +58,7 @@ jobs: if [[ "$mergeable" == "null" ]]; then if (( retryCount == 0 )); then - echo "Not retrying anymore, probably GitHub is having internal issues" + echo "Not retrying anymore. It's likely that GitHub is having internal issues: check https://www.githubstatus.com/" exit 1 else (( retryCount -= 1 )) || true |