diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2025-02-10 11:34:44 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2025-02-10 11:34:44 +0200 |
commit | 217b2780813819bbad5c6eed41997d8e1e85fa8c (patch) | |
tree | e1d1b31ec01f103a5facf9f12890f4dbe1fd6d2b /mod/mod-ci-github.cxx | |
parent | 46eec12b39db2279ecd15e3681354f566945d5c2 (diff) |
Sketch
Diffstat (limited to 'mod/mod-ci-github.cxx')
-rw-r--r-- | mod/mod-ci-github.cxx | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index b4babce..b71e85c 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -2519,7 +2519,10 @@ namespace brep } else { - // Network error during queued notification, ignore. + // Network error during queued notification (state unsynchronized), + // ignore. + // + l3 ([&]{trace << "unsynchronized check run " << bid;}); } } else |