diff options
| -rw-r--r-- | mod/mod-ci-github.cxx | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 6cf3b80..b4babce 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -2523,8 +2523,15 @@ namespace brep } } else - warn << "check run " << bid << ": out of order building " - << "notification; existing state: " << scr->state_string (); + { + // Ignore interrupted (building -> queued -> building transition). + // + if (scr->state != build_state::building) + { + warn << "check run " << bid << ": out of order building " + << "notification; existing state: " << scr->state_string (); + } + } } else warn << "check run " << bid << ": out of order building " |