| commit | 4db4362699cf1dc33aaed9ab1e5eef18f066eb00 | [log] [tgz] |
|---|---|---|
| author | Paul Dingemans <paul-dingemans@users.noreply.github.com> | Tue Sep 09 18:04:58 2025 +0200 |
| committer | Paul Dingemans <paul-dingemans@users.noreply.github.com> | Tue Sep 09 18:04:58 2025 +0200 |
| tree | 9051098106805bc1e98b10cda04eb1a6bb5cd990 | |
| parent | 1b8c4c99965608c7923a41e2254a0552ca14193c [diff] |
Allow publication documents workflow to write to Github pages
diff --git a/.github/workflows/publish-release-docs.yml b/.github/workflows/publish-release-docs.yml index 53dab9e..6e173de 100644 --- a/.github/workflows/publish-release-docs.yml +++ b/.github/workflows/publish-release-docs.yml
@@ -1,6 +1,7 @@ name: Publish release documentation permissions: contents: read + pages: write on: push:
diff --git a/.github/workflows/publish-snapshot-docs.yml b/.github/workflows/publish-snapshot-docs.yml index 0f2874f..17a0cb9 100644 --- a/.github/workflows/publish-snapshot-docs.yml +++ b/.github/workflows/publish-snapshot-docs.yml
@@ -1,6 +1,7 @@ name: Publish snapshot documentation permissions: contents: read + pages: write on: push: