[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.
This commit is contained in:
Ivan Gabaldon 2025-05-09 23:05:20 +02:00
parent 743f90514b
commit 4e515f7c88
No known key found for this signature in database
GPG Key ID: 075587C93FA67582

View File

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