aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-05-29 11:35:53 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-10-15 09:05:28 +0200
commit764f82e0b2bd6f0b1090490df4a15c5e8bcbbc2f (patch)
tree78167aba3abbea8b026439c3b678521972317cab
parentb73ae12b1e28aff88a4f2a4a1ee466014f8a7cd4 (diff)
Fix ci_github inheritance in module.cli
-rw-r--r--mod/module.cli5
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.
//