run tests at 02:00 UTC everyday

and bump version to v2024.09.01

.github/workflows/CI.yml

@@ -6,6 +6,9 @@ on:
     branches:
       - master
   pull_request:
+  schedule:
+    # Runs at night every day
+    - cron: '0 2 * * *'
 
 # the `concurrency` settings ensure that not too many CI jobs run in parallel
 concurrency:

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CddInterface",
 Subtitle := "Gap interface to Cdd package",
-Version := "2024.08.27",
+Version := "2024.09.01",
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",