From 0e4f973962d7bc16722d4328ea703dced931a7d0 Mon Sep 17 00:00:00 2001
From: Lukas Koch <lukas.koch@mailbox.org>
Date: Thu, 23 Nov 2023 18:37:07 +0100
Subject: [PATCH] Set permissions to push github page.

---
 .github/workflows/tests.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index a4c8eac..5a21c13 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -6,6 +6,12 @@ on:
   pull_request:
     branches: [ "master" ]
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
   build:
     name: Build default geometry