diff options
| author | Ivan Gabaldon <igabaldon@inetol.net> | 2025-05-09 23:05:20 +0200 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarIT.de> | 2025-05-10 07:41:42 +0200 |
| commit | e982b9f73205dec9da2c5c1fc757bb40c605c899 (patch) | |
| tree | 1016586f9057c15e93158d5be6ada31310281cb7 /.github/workflows | |
| parent | 48456caeb3cc701cc0d0e15091a42c5b5cb540d0 (diff) | |
[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.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/documentation.yml | 13 |
1 files 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" |