need to fetch since branch is unknown to git

mxndtaylor · Jun 2, 2024 · e0ed1c1 · e0ed1c1
1 parent 4b4ad45
commit e0ed1c1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build-workflow.yml b/.github/workflows/build-workflow.yml
@@ -89,6 +89,7 @@ jobs:
           git config --global user.name 'Auto'
           git config --global user.email '[email protected]'
           git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
+          git fetch origin "${GITHUB_HEAD_REF}"
           git checkout "${GITHUB_HEAD_REF}"
           pdm badges-only
           git status