From 4e515f7c889fb52f727aacd5086f961d5229bae1 Mon Sep 17 00:00:00 2001
From: Ivan Gabaldon <igabaldon@inetol.net>
Date: Fri, 9 May 2025 23:05:20 +0200
Subject: [PATCH] [fix] documentation should run on push/pr

Instead of executing the workflow after integration.yml completes correctly, let's run this workflow parallel to integration.yml restoring the original behaviour.
---
 .github/workflows/documentation.yml | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 6d9f2cac5..629d9a272 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -4,11 +4,10 @@ name: Documentation
 # yamllint disable-line rule:truthy
 on:
   workflow_dispatch:
-  workflow_run:
-    workflows:
-      - Integration
-    types:
-      - completed
+  push:
+    branches:
+      - master
+  pull_request:
     branches:
       - master
 
@@ -24,7 +23,6 @@ env:
 
 jobs:
   release:
-    if: github.event_name == 'workflow_dispatch' || github.event.workflow_run.conclusion == 'success'
     name: Release
     runs-on: ubuntu-24.04-arm
     permissions:
@@ -56,7 +54,8 @@ jobs:
       - name: Build documentation
         run: make V=1 docs.clean docs.html
 
-      - name: Release
+      - if: github.ref_name == 'master'
+        name: Release
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           folder: "dist/docs"