From 084ffabbd568bddf27868f8c49f49b04719445f6 Mon Sep 17 00:00:00 2001 From: carlospolop Date: Fri, 29 Aug 2025 10:33:31 +0200 Subject: [PATCH 1/2] 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/ From f16fb17cc05ca473f198b473a2c8689bb2742d53 Mon Sep 17 00:00:00 2001 From: Build master Date: Fri, 29 Aug 2025 08:38:13 +0000 Subject: [PATCH 2/2] Update searchindex (purged history; keep current)