build: explicitly set permissions for workflows

Author: Planeshifter

.github/workflows/markdown_equations.yml

@@ -30,6 +30,11 @@ on:
       # List paths for which changes should trigger this workflow:
       - 'lib/**/*.md'
 
+# Global permissions:
+permissions:
+  # Allow read-only access to the repository contents:
+  contents: read
+
 # Workflow jobs:
 jobs:
 

.github/workflows/markdown_links.yml

@@ -28,6 +28,11 @@ on:
   # Allow the workflow to be manually run:
   workflow_dispatch:
 
+# Global permissions:
+permissions:
+  # Allow read-only access to the repository contents:
+  contents: read
+
 # Workflow jobs:
 jobs:
 

.github/workflows/markdown_pkg_urls.yml

@@ -28,6 +28,11 @@ on:
   # Allow the workflow to be manually run:
   workflow_dispatch:
 
+# Global permissions:
+permissions:
+  # Allow read-only access to the repository contents:
+  contents: read
+
 # Workflow jobs:
 jobs:
 

.github/workflows/markdown_src_attributes.yml

@@ -28,6 +28,11 @@ on:
   # Allow the workflow to be manually run:
   workflow_dispatch:
 
+# Global permissions:
+permissions:
+  # Allow read-only access to the repository contents:
+  contents: read
+
 # Workflow jobs:
 jobs: