diff options
Diffstat (limited to 'mod/mod-ci-github.cxx')
| -rw-r--r-- | mod/mod-ci-github.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 0e95aa2..e11cd4e 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -621,7 +621,7 @@ namespace brep } bool ci_github:: - handle_check_run_request (gh_check_run_event cr, bool warning_success) + handle_check_run_request (gh_check_run_event cr, bool /* warning_success */) { HANDLER_DIAG; |