fix

STORM-IRIT · Oct 12, 2023 · 0c7eb18 · 0c7eb18
1 parent 472c30e
commit 0c7eb18
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml
@@ -34,6 +34,8 @@ jobs:
         with:
           path: src/Radium-Engine
           submodules: recursive
+      - name: pull updated repo (e.g. with new VERSION)
+        run: git -C src/Radium-Engine pull origin ${{ github.event.ref }}
       - name: Install packages
         run : |
           sudo apt-get install graphviz

diff --git a/.github/workflows/tmp-check-doc.yml b/.github/workflows/tmp-check-doc.yml
@@ -17,8 +17,6 @@ jobs:
         with:
           path: src/Radium-Engine
           submodules: recursive
-      - name: pull updated repo (e.g. with new VERSION)
-        run: git -C src/Radium-Engine pull origin ${{ github.event.ref }}
       - name: Install packages
         run : |
           sudo apt-get install graphviz