different push tactic

2022-03-30 00:26:25 +02:00
parent 8354ca8fca
commit 82677bdd31
3 changed files with 22 additions and 2 deletions
@@ -20,6 +20,13 @@ jobs:
        with:
          fetch-depth: 100
          token: ${{ secrets.BOT_TOKEN }}
+      - uses: actions/checkout@a12a3943b4bdde767164f792f33f40b04645d846 # tag=v3
+        name: Checkout
+        with:
+          fetch-depth: 1
+          ref: gh-pages
+          token: ${{ secrets.BOT_TOKEN }}
+          path: .cr-index

      - name: Checkout
        uses: actions/checkout@a12a3943b4bdde767164f792f33f40b04645d846 # tag=v3