diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-11-05 12:01:16 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-11-05 12:01:16 +0200 |
commit | 9748779eba0df8bd0d2f592fbbb9839348b80dfe (patch) | |
tree | 1738c6c13ea7ee1db5b3f0d1aecb28862cc7aed4 /mod/mod-ci-github-service-data.hxx | |
parent | 64d93803d18f9137179293bbee1364ee2022ebb6 (diff) |
Sketch service_data::completed flag
Diffstat (limited to 'mod/mod-ci-github-service-data.hxx')
-rw-r--r-- | mod/mod-ci-github-service-data.hxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mod/mod-ci-github-service-data.hxx b/mod/mod-ci-github-service-data.hxx index 0dd52ca..bb845cb 100644 --- a/mod/mod-ci-github-service-data.hxx +++ b/mod/mod-ci-github-service-data.hxx @@ -114,6 +114,11 @@ namespace brep vector<check_run> check_runs; + // Flag indicating that all the elements in check_runs are built and this + // check suite is completed. + // + bool completed; + // The GitHub ID of the synthetic conclusion check run or absent if it // hasn't been created yet. // |