diff options
Diffstat (limited to 'mod/mod-ci-github.hxx')
| -rw-r--r-- | mod/mod-ci-github.hxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mod/mod-ci-github.hxx b/mod/mod-ci-github.hxx index b16085e..6bb01e3 100644 --- a/mod/mod-ci-github.hxx +++ b/mod/mod-ci-github.hxx @@ -66,6 +66,11 @@ namespace brep bool handle_check_suite_request (gh_check_suite_event, bool warning_success); + // Build a check run details_url for a build. + // + string + details_url (const build&) const; + optional<string> generate_jwt (const basic_mark& trace, const basic_mark& error) const; |