Update docs-publing.yml

romanin-rf · Dec 18, 2023 · 1e11a37 · 1e11a37
1 parent 6743898
commit 1e11a37
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docs-publing.yml b/.github/workflows/docs-publing.yml
@@ -13,7 +13,7 @@ jobs:
       - uses: actions/checkout@v3
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
-          submodules: recursive
+          submodules: true
       - name: Set up Python 3.9
         uses: actions/setup-python@v3
         with:
@@ -25,7 +25,7 @@ jobs:
       - name: Pull `docs`
         run: |
           cd site;
-          git pull;
+          git pull --no-ff;
           cd ..;
       - name: Clear `docs`
         run: |