diff options
Diffstat (limited to 'mod')
| -rw-r--r-- | mod/mod-ci-github.cxx | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 8242fc0..cd45c4c 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -2351,7 +2351,11 @@ namespace brep { // Unexpected built->queued transition (rebuild). // - warn << "check run " << bid << ": unexpected rebuild"; + // Note that handle_check_run_rerequest() may trigger an "expected" + // rebuild, in which case our state should be set to queued. + // + if (scr->state != build_state::queued || !scr->state_synced) + warn << "check run " << bid << ": unexpected rebuild"; } else { |