Add nightly jobs and trigger on tag

Author: wz1000

.github/generate-ci/gen_ci.hs

@@ -279,7 +279,9 @@ data Config = MkConfig Arch Opsys [GHC]
 instance ToJSON CI where
   toJSON (CI cs) = object
     [ "name" .= str "Build and release"
-    , "on" .= [ str "push" ]
+    , "on" .= object [ "push" .= [object ["tags" .= [str "*"]]]
+                       , "schedule" .= [object ["cron" .= str "0 2 * * 1"]]
+                     ]
     , "env" .= object
       [ "CABAL_CACHE_DISABLE" .= str "${{ vars.CABAL_CACHE_DISABLE }}"
       , "CABAL_CACHE_NONFATAL" .= str "${{ vars.CABAL_CACHE_NONFATAL }}"

.github/workflows/release.yaml

@@ -3589,4 +3589,8 @@ jobs:
       shell: pwsh
 name: Build and release
 'on':
-- push
+  push:
+  - tags:
+    - '*'
+  schedule:
+  - cron: 0 2 * * 1