Single-commit gh-pages (rust-lang#1123)

celinval · Apr 27, 2022 · 94e7818 · 94e7818
1 parent b0ba734
commit 94e7818
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -65,10 +65,11 @@ jobs:
       # When we're pushed to main branch, only then actually publish the docs.
       - name: Publish Documentation
         if: ${{ github.event_name == 'push' && startsWith('refs/heads/main', github.ref) }}
-        uses: JamesIves/github-pages-deploy-action@4.1.4
+        uses: JamesIves/github-pages-deploy-action@v4.3.3
         with:
           branch: gh-pages
           folder: docs/book/
+          single-commit: true
 
   releasebundle:
     runs-on: ${{ matrix.os }}