all: final tweaks for release

2022-10-27 16:52:27 +02:00
parent 80d30aab32
commit feef2e38cf
4 changed files with 4 additions and 7 deletions
@@ -5,7 +5,7 @@ on:
    branches: [ "devel", "devel4", "devel5", "master" ]
  pull_request:
    # The branches below must be a subset of the branches above
-    branches: [ "devel4" ]
+    branches: [ "devel", "devel4", "devel5" ]
  schedule:
    - cron: '20 1 * * 3'
  workflow_dispatch: