all: cleanups

2023-01-14 08:37:22 +01:00
parent 58de07629e
commit cc994326a0
21 changed files with 1030 additions and 868 deletions
@@ -1,11 +1,11 @@
 name: "CodeQL"

 on:
-  push:
-    branches: [ "devel", "devel4", "devel5", "master" ]
-  pull_request:
-    # The branches below must be a subset of the branches above
-    branches: [ "devel", "devel4", "devel5" ]
+#  push:
+#    branches: [ "devel", "devel4", "devel5", "master" ]
+#  pull_request:
+#    # The branches below must be a subset of the branches above
+#    branches: [ "devel", "devel4", "devel5" ]
  schedule:
    - cron: '20 1 * * 3'
  workflow_dispatch: