diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-05-29 11:35:53 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-06-05 09:12:46 +0200 |
| commit | be2715a2055e76c354bbc0dfeba52630d85030ca (patch) | |
| tree | bbedf7be1aa68501517f4bd010b8d0c8edde3bdb /mod | |
| parent | f14212d90b90f3e8cbebb1e43b294228819f8792 (diff) | |
Fix ci_github inheritance in module.cli
Diffstat (limited to 'mod')
| -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 b5b3457..d716c6e 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -815,10 +815,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. // |