Allow CI runs to be triggered manually, and monthly

julianhyde · Sep 6, 2023 · 3926e24 · 3926e24
1 parent 6229280
commit 3926e24
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -17,7 +17,15 @@
 #
 name: Java CI
 
-on: [push]
+on:
+  push:
+    branches:
+      - '*'
+  workflow_dispatch: # allow manual triggering
+  schedule:
+    # Run at 0543 UTC on the 7th day of each month
+    #        m  h  dom mon dow
+    - cron: '43 05   7   *   *'
 
 jobs:
   build: