diff options
Diffstat (limited to 'mod/module.cli')
| -rw-r--r-- | mod/module.cli | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/mod/module.cli b/mod/module.cli index 7246ecf..f85861e 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -845,11 +845,10 @@ namespace brep { }; - class ci_github: repository_url, - ci_start, ci_cancel, + class ci_github: ci_start, ci_cancel, build, build_db, - handler, - openssl_options + repository_url, + handler { // GitHub CI-specific options. // |