From 34333db960d2fd95708a1d2f02183b7ba37a7ab0 Mon Sep 17 00:00:00 2001
From: Thomas Petit-Jean <30775613+Thomzoy@users.noreply.github.com>
Date: Thu, 15 Feb 2024 08:59:41 +0000
Subject: [PATCH 1/4] chore: Trigger doc CI on PR

---
 .github/workflows/publish_doc.yml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish_doc.yml b/.github/workflows/publish_doc.yml
index bd37883d..dfe1ded7 100644
--- a/.github/workflows/publish_doc.yml
+++ b/.github/workflows/publish_doc.yml
@@ -4,6 +4,9 @@ on:
   push:
     branches:
       - main
+  pull_request:
+    paths:
+      - 'docs/**'
   workflow_dispatch:
 
 permissions:
@@ -24,7 +27,16 @@ jobs:
         run: |
           git config user.name ${{ github.actor }}
           git config user.email ${{ github.actor }}@users.noreply.github.com
-      - run: |
+      - name: Deploy main
+        if: github.event_name == 'push'
+        run: |
           git fetch origin gh-pages
           mike delete main
+          mike delete ${{ github.ref_name }}
           mike deploy --push main
+      - name: Deploy branch
+        if: github.event_name == 'pull_request'
+        run: |
+          git fetch origin gh-pages
+          mike delete ${{ github.ref_name }}
+          mike deploy --push ${{ github.ref_name }}

From 7e7d0c4f297adab730792a725418661f3fe04035 Mon Sep 17 00:00:00 2001
From: Thomas Petit-Jean <30775613+Thomzoy@users.noreply.github.com>
Date: Thu, 15 Feb 2024 09:02:42 +0000
Subject: [PATCH 2/4] chore: Add temp file to trigger CI

---
 docs/_static/tmp_trigger_CI.txt | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 docs/_static/tmp_trigger_CI.txt

diff --git a/docs/_static/tmp_trigger_CI.txt b/docs/_static/tmp_trigger_CI.txt
new file mode 100644
index 00000000..e69de29b

From a229f66e330ea722760d62d7aca7cfa6b4687358 Mon Sep 17 00:00:00 2001
From: Thomas Petit-Jean <30775613+Thomzoy@users.noreply.github.com>
Date: Thu, 15 Feb 2024 09:13:14 +0000
Subject: [PATCH 3/4] update mike workflows

---
 .github/workflows/publish_doc.yml | 6 +++---
 docs/_static/tmp_trigger_CI.txt   | 1 +
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/publish_doc.yml b/.github/workflows/publish_doc.yml
index dfe1ded7..01b2ffb2 100644
--- a/.github/workflows/publish_doc.yml
+++ b/.github/workflows/publish_doc.yml
@@ -32,11 +32,11 @@ jobs:
         run: |
           git fetch origin gh-pages
           mike delete main
-          mike delete ${{ github.ref_name }}
+          # mike delete ${{ github.head_ref }}
           mike deploy --push main
       - name: Deploy branch
         if: github.event_name == 'pull_request'
         run: |
           git fetch origin gh-pages
-          mike delete ${{ github.ref_name }}
-          mike deploy --push ${{ github.ref_name }}
+          # mike delete ${{ github.ref_name }}
+          mike deploy --push ${{ github.head_ref }}
diff --git a/docs/_static/tmp_trigger_CI.txt b/docs/_static/tmp_trigger_CI.txt
index e69de29b..b28fbc7a 100644
--- a/docs/_static/tmp_trigger_CI.txt
+++ b/docs/_static/tmp_trigger_CI.txt
@@ -0,0 +1 @@
+trigger
\ No newline at end of file

From 912374404a8ed358d1339f5f730d8edf3a3daf0b Mon Sep 17 00:00:00 2001
From: Thomas Petit-Jean <30775613+Thomzoy@users.noreply.github.com>
Date: Thu, 15 Feb 2024 09:19:36 +0000
Subject: [PATCH 4/4] Continue of doc build error

---
 .github/workflows/publish_doc.yml | 7 +++++--
 docs/_static/tmp_trigger_CI.txt   | 2 +-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/publish_doc.yml b/.github/workflows/publish_doc.yml
index 01b2ffb2..2152a96a 100644
--- a/.github/workflows/publish_doc.yml
+++ b/.github/workflows/publish_doc.yml
@@ -27,16 +27,19 @@ jobs:
         run: |
           git config user.name ${{ github.actor }}
           git config user.email ${{ github.actor }}@users.noreply.github.com
+      - name: Delete existing doc
+        run: |
+          git fetch origin gh-pages
+          mike delete ${{ github.head_ref }}
+        continue-on-error: true
       - name: Deploy main
         if: github.event_name == 'push'
         run: |
           git fetch origin gh-pages
           mike delete main
-          # mike delete ${{ github.head_ref }}
           mike deploy --push main
       - name: Deploy branch
         if: github.event_name == 'pull_request'
         run: |
           git fetch origin gh-pages
-          # mike delete ${{ github.ref_name }}
           mike deploy --push ${{ github.head_ref }}
diff --git a/docs/_static/tmp_trigger_CI.txt b/docs/_static/tmp_trigger_CI.txt
index b28fbc7a..0a046902 100644
--- a/docs/_static/tmp_trigger_CI.txt
+++ b/docs/_static/tmp_trigger_CI.txt
@@ -1 +1 @@
-trigger
\ No newline at end of file
+trigger1
\ No newline at end of file