diff options
Diffstat (limited to 'mod/mod-ci-github.hxx')
| -rw-r--r-- | mod/mod-ci-github.hxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mod/mod-ci-github.hxx b/mod/mod-ci-github.hxx index 3b7d2aa..4f69f5c 100644 --- a/mod/mod-ci-github.hxx +++ b/mod/mod-ci-github.hxx @@ -122,7 +122,7 @@ namespace brep // and to FAILURE otherwise. // bool - handle_push_request (gh_push_event, bool warning_success); + handle_branch_push (gh_push_event, bool warning_success); // Build a check run details_url for a build. // |