Merge branch 'main' into fix_empty_report_w_one_section

Author: enryH

.github/workflows/cdci.yml

@@ -7,6 +7,7 @@ on:
     branches: [main]
   release:
     types: [published]
+  workflow_dispatch:
 
 jobs:
   test:
@@ -130,6 +131,11 @@ jobs:
   build-executable:
     name: Build-exe-${{ matrix.os.label }}
     runs-on: ${{ matrix.os.runner }}
+    if: |
+      (github.event_name == 'push' && github.ref == 'refs/heads/main') ||
+      github.event_name == 'release' ||
+      startsWith(github.ref, 'refs/tags') ||
+      github.event_name == 'workflow_dispatch'
     needs:
       - test
       - other-reports