try fixing javadoc publisher

tudalgo · Oct 12, 2024 · 330e866 · 330e866
1 parent 0835fe1
commit 330e866
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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 }}