From 6b323dd8ba44704027b9561e692e10606a6d4937 Mon Sep 17 00:00:00 2001 From: jakob-fritz <37077134+jakob-fritz@users.noreply.github.com> Date: Thu, 25 Jul 2024 14:18:26 +0200 Subject: [PATCH] Corrected name of branch used for comparing (#462) to decide on wether to upload the documentation --- .github/workflows/postprocess.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/postprocess.yml b/.github/workflows/postprocess.yml index f606c6d93a..a7ef5f79ec 100644 --- 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.