From bd8d196531fcefdb5e76549d8e286fcc74ad1e61 Mon Sep 17 00:00:00 2001
From: Julian Hyde <jhyde@apache.org>
Date: Fri, 19 Jan 2024 23:25:40 -0800
Subject: [PATCH] Allow CI runs to be triggered manually, and monthly

---
 .github/workflows/main.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6484596..2b56b8f 100644
--- 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: