diff --git a/.github/workflows/publish-doc.yml b/.github/workflows/publish-doc.yml index 93ca363..376aa2e 100644 --- a/.github/workflows/publish-doc.yml +++ b/.github/workflows/publish-doc.yml @@ -5,6 +5,8 @@ on: # Runs on pushes targeting the default branch push: branches: ["main"] + pull_request: + branches: [ "main" ] # Allows you to run this workflow manually from the Actions tab workflow_dispatch: @@ -56,6 +58,7 @@ jobs: url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest needs: generate_doc + if: ${{ github.event_mae == 'push' }} steps: - name: Deploy to GitHub Pages id: deployment diff --git a/test.c b/test.c index 29927bd..f69f4e2 100644 --- a/test.c +++ b/test.c @@ -6,7 +6,7 @@ /** * @mainpage This is a test. - * Bla Bla Bla from branch. + * Bla Bla Bla from branch with prebuild. */ /**