Add scheduled call to Documenation CI action

Since most commits to `master` are merges from developer's branches, the
job was never running in `master` and so docs were not getting
published.

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index c1815139d4c7bd5b3925c1ae05ee99d8628848ca..2a89875a35ab68528069079c67cdfa5b42241dd3 100644 (file)
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -19,11 +19,13 @@ on:
       - 'man/**'
       - 'raddb/**'
       - 'share/**'
+  schedule:
+    - cron: '1 20 * * *'
 
 jobs:
   build-docs:
     runs-on: ubuntu-latest
-
+    if: github.repository_owner == 'FreeRADIUS' || github.event_name != 'schedule'
     strategy:
       fail-fast: true
 
@@ -75,7 +77,7 @@ jobs:
 
   # Actual deployment to GitHub Pages is only on pushes to the head of the master branch
   deploy-doxygen-docs:
-    if: ( github.repository_owner == 'FreeRADIUS' ) && ( github.ref == 'refs/heads/master' ) && ( github.event_name == 'push' )
+    if: ( github.repository_owner == 'FreeRADIUS' ) && ( github.ref == 'refs/heads/master' ) && (( github.event_name == 'push' ) || ( github.event_name == 'schedule' ))
 
     needs:
       - build-docs
@@ -122,7 +124,7 @@ jobs:
       uses: actions/deploy-pages@v4
 
   deploy-antora-docs:
-    if: ( github.repository_owner == 'FreeRADIUS' ) && ( github.ref == 'refs/heads/master' ) && ( github.event_name == 'push' )
+    if: ( github.repository_owner == 'FreeRADIUS' ) && ( github.ref == 'refs/heads/master' ) && (( github.event_name == 'push' ) || ( github.event_name == 'schedule' ))
 
     needs:
       - build-docs