Corrected name of branch used for comparing (#462)

to decide on wether to upload the documentation
Parallel-in-Time · Jul 25, 2024 · 6b323dd · 6b323dd
1 parent 0e60614
commit 6b323dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/postprocess.yml b/.github/workflows/postprocess.yml
@@ -86,7 +86,7 @@ jobs:
         if: >-
           ${{ github.event.workflow_run.event == 'push'
           && github.repository_owner == 'Parallel-in-Time'
-          && github.event.workflow_run.head_branch == 'refs/heads/master' }}
+          && github.event.workflow_run.head_branch == 'master' }}
         with:
           branch: gh-pages # The branch the action should deploy to.
           folder: docs/build/html # The folder the action should deploy.