.github/workflows/pages.yml: try to git pull

We should git pull before we update the site.
2021-12-14 15:14:37 +02:00 · 2021-12-14 15:14:37 +02:00 · 3961c3e483
parent 2eeaa63cce
commit 3961c3e483
1 changed files with 5 additions and 1 deletions
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@ -43,7 +43,11 @@ jobs:
    # We need the parse job above. Do not run if that one fails.
    needs: parse
    steps:
-      - uses: actions/checkout@v2
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Git pull
+        run: git pull
+
      - name: Deploy
        uses: peaceiris/actions-gh-pages@v3
        with: