From 2cc9be4ccc95378b42d1cae0c101863bd9ac6191 Mon Sep 17 00:00:00 2001
From: rafa-be <raphael@noisycamp.com>
Date: Wed, 9 Oct 2024 12:20:36 +0200
Subject: [PATCH] Fix permissions in the GitHub action that publishes the
 documentation.

Signed-off-by: rafa-be <raphael@noisycamp.com>
---
 .github/workflows/documentation.yml | 6 +++---
 parfun/about.py                     | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 5e20e74..80ca00b 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -3,16 +3,16 @@ name: Publish documentation to GitHub Pages
 on:
   release:
     types: [created]
+  workflow_dispatch:
 
 permissions:
   contents: read
+  pages: write
+  id-token: write
 
 jobs:
   deploy:
     runs-on: ubuntu-latest
-    permissions:
-      pages: write
-      id-token: write
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
diff --git a/parfun/about.py b/parfun/about.py
index e32e0f2..80a9430 100644
--- a/parfun/about.py
+++ b/parfun/about.py
@@ -1 +1 @@
-__version__ = "7.0.3"
+__version__ = "7.0.4"