Merge remote-tracking branch 'origin/main'

Author: juraj-hrivnak

.github/workflows/Build.yml

@@ -1,6 +1,9 @@
 name: Build
 run-name: "Build #${{ github.run_number }}"
 
+permissions:
+  contents: read
+
 on:
   push:
     tags:

.github/workflows/Test.yml

@@ -1,6 +1,9 @@
 name: Test
 run-name: "Test #${{ github.run_number }}"
 
+permissions:
+  contents: read
+
 on:
   pull_request:
     paths-ignore:

.github/workflows/Update-Tap.yml

@@ -1,6 +1,9 @@
 name: Update Tap
 run-name: "Update Tap #${{ github.run_number }}"
 
+permissions:
+  contents: read
+
 on:
   workflow_run:
     workflows: [Build documentation]

.github/workflows/Validate-Gradle-Wrapper.yml

@@ -1,6 +1,9 @@
 name: "Validate Gradle Wrapper"
 run-name: "Validate Gradle Wrapper #${{ github.run_number }}"
 
+permissions:
+  contents: read
+
 on:
   push:
     paths: