all: assorted updates and cleanups

2023-02-05 17:20:32 +01:00
parent 163377d1a0
commit b8d9c2b755
56 changed files with 691 additions and 853 deletions
@@ -7,7 +7,7 @@ on:
 #    # The branches below must be a subset of the branches above
 #    branches: [ 'devel', 'devel4', 'devel5' ]
  schedule:
-    - cron: '20 1 * * 3'
+    - cron: '20 4 * * 3'
  workflow_dispatch:

 jobs: