diff --git a/.github/workflows/build_master.yml b/.github/workflows/build_master.yml index 61daf614c..99f80c75e 100644 --- a/.github/workflows/build_master.yml +++ b/.github/workflows/build_master.yml @@ -49,7 +49,8 @@ jobs: git config pull.rebase false # Ensure we're on the target branch and up to date - git pull --ff-only + git fetch origin + git reset --hard origin/master # Choose the file to keep at HEAD: # 1) Prefer freshly built version from book/