From 7532a73e2e04f17f06d7a4823d89168391795c8b Mon Sep 17 00:00:00 2001 From: carlospolop Date: Fri, 29 Aug 2025 10:33:31 +0200 Subject: [PATCH] f --- .github/workflows/build_master.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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/