Merge branch 'master' into Dependabot-GitHub-Actions

Author: tleonhardt

.github/workflows/codeql-analysis.yml

@@ -9,8 +9,15 @@ on:
   schedule:
     - cron: '0 6 * * 4'
 
+permissions:
+  contents: read
+
 jobs:
   analyze:
+    permissions:
+      actions: read  # for github/codeql-action/init to get workflow details
+      contents: read  # for actions/checkout to fetch code
+      security-events: write  # for github/codeql-action/autobuild to send a status report
     name: Analyze
     runs-on: ubuntu-latest
 

.github/workflows/doc.yml

@@ -4,6 +4,9 @@ name: Doc
 
 on: [push, pull_request]
 
+permissions:
+  contents: read
+
 jobs:
   doc:
     strategy:

.github/workflows/format.yml

@@ -4,6 +4,9 @@ name: Format
 
 on: [push, pull_request]
 
+permissions:
+  contents: read
+
 jobs:
   lint:
     strategy:

.github/workflows/lint.yml

@@ -4,6 +4,9 @@ name: Lint
 
 on: [push, pull_request]
 
+permissions:
+  contents: read
+
 jobs:
   lint:
     strategy:

.github/workflows/mypy.yml

@@ -4,6 +4,9 @@ name: MyPy
 
 on: [push, pull_request]
 
+permissions:
+  contents: read
+
 jobs:
   mypy:
     strategy: