From 330e86609076d0e97124fcbcf14a16e997c24b13 Mon Sep 17 00:00:00 2001
From: Rdeisenroth <rdeisenroth@gmail.com>
Date: Sun, 13 Oct 2024 00:24:23 +0200
Subject: [PATCH] try fixing javadoc publisher

---
 .github/workflows/publish-javadoc.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/publish-javadoc.yml b/.github/workflows/publish-javadoc.yml
index c65ca8d..eddf9fb 100644
--- a/.github/workflows/publish-javadoc.yml
+++ b/.github/workflows/publish-javadoc.yml
@@ -24,6 +24,10 @@ concurrency:
 jobs:
   # Single deploy job since we're just deploying
   publish-javadoc:
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}