github_workflows: automate doc publishing further

- run workflow nightly
- use default token

PiperOrigin-RevId: 692184517

.github/workflows/build-mkdocs-commit-html.yml

@@ -1,12 +1,14 @@
-name: Build MkDocs And Commit HTML
+name: Nighly Build MkDocs And Commit HTML
 
 on:
+  schedule:
+    # Nightly at midnight PDT -- uses UTC, so 7am.
+    - cron:  '0 7 * * *'
+  # This lets us trigger manually from the UI.
   workflow_dispatch:
-    inputs:
-      xls-github-bot-pat:
-        description: 'The Personal Access Token (PAT) for the xls-github-bot user.'
-        required: true
 
+permissions:
+  contents: write
 
 jobs:
   docs:

.github/workflows/nightly-fuzz.yml

@@ -4,7 +4,7 @@
 name: Nightly Fuzz
 on:
   schedule:
-    # Nightly at midnight -- uses UTC, so 7am.
+    # Nightly at midnight PDT -- uses UTC, so 7am.
     - cron:  '0 7 * * *'
   # This lets us trigger manually from the UI.
   workflow_dispatch:

.github/workflows/nightly-macos.yml

@@ -4,7 +4,7 @@
 name: Nightly MacOS
 on:
   schedule:
-    # Nightly at midnight -- uses UTC, so 7am.
+    # Nightly at midnight PDT -- uses UTC, so 7am.
     - cron:  '0 7 * * *'
   # This lets us trigger manually from the UI.
   workflow_dispatch:

.github/workflows/nightly-ubuntu-22.04.yml

@@ -4,7 +4,7 @@
 name: Nightly Ubuntu 22.04
 on:
   schedule:
-    # Nightly at midnight -- uses UTC, so 7am.
+    # Nightly at midnight PDT -- uses UTC, so 7am.
     - cron:  '0 7 * * *'
   # This lets us trigger manually from the UI.
   workflow_dispatch: