diff options
Diffstat (limited to 'mod/mod-ci-github-service-data.hxx')
| -rw-r--r-- | mod/mod-ci-github-service-data.hxx | 22 |
1 files changed, 6 insertions, 16 deletions
diff --git a/mod/mod-ci-github-service-data.hxx b/mod/mod-ci-github-service-data.hxx index 7ea01ff..d4a47d5 100644 --- a/mod/mod-ci-github-service-data.hxx +++ b/mod/mod-ci-github-service-data.hxx @@ -27,26 +27,16 @@ namespace brep string build_id; // Full build id. optional<string> node_id; // GitHub id. - // @@ TODO - // - // build_state state; - // bool state_synced; - - // string - // state_string () const - // { - // string r (to_string (*state)); - // if (!state_synced) - // r += "(unsynchronized)"; - // return r; - // } - - optional<build_state> state; + build_state state; + bool state_synced; string state_string () const { - return state ? to_string (*state) : "null"; + string r (to_string (state)); + if (!state_synced) + r += "(unsynchronized)"; + return r; } }; |