build: run workflows on a schedule instead of due to merged PRs

Author: Planeshifter

.github/workflows/markdown_equations.yml

@@ -21,14 +21,12 @@ name: markdown_equations
 
 # Workflow triggers:
 on:
-  pull_request_target:
-    branches:
-      - develop
-    types:
-      - closed
-    paths:
-      # List paths for which changes should trigger this workflow:
-      - 'lib/**/*.md'
+  schedule:
+    # Run the workflow once a day at 2:00 AM UTC:
+    - cron: '0 2 * * *'
+
+  # Allow the workflow to be manually run:
+  workflow_dispatch:
 
 # Global permissions:
 permissions:

.github/workflows/markdown_tocs.yml

@@ -21,11 +21,9 @@ name: markdown_tocs
 
 # Workflow triggers:
 on:
-  pull_request_target:
-    branches:
-      - develop
-    types:
-      - closed
+  schedule:
+    # Run the workflow once a day at 2:00 AM UTC:
+    - cron: '0 2 * * *'
 
   # Allow the workflow to be manually run:
   workflow_dispatch:

.github/workflows/namespace_declarations.yml

@@ -21,14 +21,9 @@ name: namespace_declarations
 
 # Workflow triggers:
 on:
-  pull_request_target:
-    branches:
-      - develop
-    types:
-      - closed
-    paths:
-      # List paths for which changes should trigger this workflow:
-      - 'lib/**/types/index.d.ts'
+  schedule:
+    # Run the workflow once a day at 2:00 AM UTC:
+    - cron: '0 2 * * *'
 
   # Allow the workflow to be manually run:
   workflow_dispatch:

.github/workflows/update_repl_docs.yml

@@ -21,18 +21,9 @@ name: update_repl_docs
 
 # Workflow triggers:
 on:
-  pull_request_target:
-    branches:
-      - develop
-    types:
-      - closed
-    paths:
-      # List paths for which changes should trigger this workflow:
-      - 'lib/**/namespace/lib/**'
-      - 'lib/**/docs/repl.txt'
-
-      # List paths for which changes should *not* trigger this workflow:
-      - '!lib/**/_tools/**'
+  schedule:
+    # Run the workflow once a day at 2:00 AM UTC:
+    - cron: '0 2 * * *'
 
   # Allow the workflow to be manually run:
   workflow_dispatch: