aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2025-02-07 09:15:07 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2025-02-07 09:15:07 +0200
commit46eec12b39db2279ecd15e3681354f566945d5c2 (patch)
treea7daa4513edb540c45bb41a6c521279c922b3407
parent6c2473e25f537469e6580c54c9803aab1cceb147 (diff)
ci-github: ignore interrupts in build_building() notificationHEADmaster
-rw-r--r--mod/mod-ci-github.cxx11
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 "