From 4474e6bf607652033624b3caccf147b8e6a7e791 Mon Sep 17 00:00:00 2001 From: Benjamin Brahmer Date: Fri, 20 Jun 2025 11:08:52 +0200 Subject: [PATCH] fix docs build --- .github/workflows/build-docs.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml index 80a2e0f0..f798ade7 100644 --- a/.github/workflows/build-docs.yml +++ b/.github/workflows/build-docs.yml @@ -6,6 +6,9 @@ on: paths: - 'docs/**' +permissions: + contents: write # Gives write permission to repository contents + jobs: build: name: Deploy docs