diff options
author | Francois Kritzinger <francois@codesynthesis.com> | 2024-05-29 11:35:53 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-15 09:05:28 +0200 |
commit | 764f82e0b2bd6f0b1090490df4a15c5e8bcbbc2f (patch) | |
tree | 78167aba3abbea8b026439c3b678521972317cab /mod/module.cli | |
parent | b73ae12b1e28aff88a4f2a4a1ee466014f8a7cd4 (diff) |
Fix ci_github inheritance in module.cli
Diffstat (limited to 'mod/module.cli')
-rw-r--r-- | mod/module.cli | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/mod/module.cli b/mod/module.cli index f85861e..9c47e31 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -845,10 +845,7 @@ namespace brep { }; - class ci_github: ci_start, ci_cancel, - build, build_db, - repository_url, - handler + class ci_github: ci_start, ci_cancel, repository_url { // GitHub CI-specific options. // |