Include new branches in the GitHub workflows

Author: DavideD

.github/workflows/codeql.yml

@@ -2,9 +2,9 @@ name: "CodeQL"
 
 on:
   push:
-    branches: [ "main", "4.0", "3.0", "2.4" ]
+    branches: [ "main", "4.0", "3.1", "3.0", "2.4" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "4.0", "3.1", "3.0", "2.4" ]
   schedule:
     - cron: "59 17 * * 2"
 

.github/workflows/scheduler.yml

@@ -11,7 +11,7 @@ jobs:
   build-snapshots:
     strategy:
       matrix:
-        branch: [ 'wip/2.4', 'wip/3.0', 'wip/3.1', 'wip/4.0' ]
+        branch: [ 'wip/2.4', 'wip/3.0', 'wip/3.1', 'wip/4.0', 'wip/4.1' ]
     uses: ./.github/workflows/build.yml
     with:
       branch: ${{ matrix.branch }}