Potential fix for code scanning alert no. 8: Workflow does not contain permissions

.github/workflows/code-coverage.yml

@@ -2,6 +2,9 @@ name: Running code coverage
 
 on: [push]
 
+permissions:
+  contents: read
+
 jobs:
   setup:
     name: Setup environment

.github/workflows/deploy-github-pages.yml

@@ -5,6 +5,9 @@ on:
     branches:
       - main
 
+permissions:
+  contents: read
+
 jobs:
   setup:
     name: Setup environment
@@ -19,6 +22,8 @@ jobs:
     name: Run documentation
     runs-on: ubuntu-latest
     needs: setup # Need to wait for setup
+    permissions:
+      contents: write
     steps:
       - uses: actions/checkout@v1 # Get last commit pushed
 

.github/workflows/format-check-build.yml

@@ -5,6 +5,9 @@ on:
     branches-ignore:
       - "main"
 
+permissions:
+  contents: read
+
 jobs:
   setup:
     name: Setup environment

.github/workflows/run-tests.yml

@@ -5,6 +5,9 @@ on:
     branches-ignore:
       - "main"
 
+permissions:
+  contents: read
+
 jobs:
   setup:
     name: Setup environment