commit 3ca9d3e93f28607c2322a6472c20719a1a90e6d5 parent 33b588c9b8ee48ce240a82b51612e8712abaa22f Author: Suzanne Soy <jsmaniac.github@suzanne.soy> Date: Mon, 12 Jul 2021 00:35:32 +0100 Use a github actions script to publish to github pages Diffstat:
| M | .github/workflows/ci.yml | | | 12 | ++++++++++-- |
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml @@ -140,6 +140,14 @@ jobs: zip -r "${zipfile_folder_name}.zip" "${zipfile_folder_name}" mv "${zipfile_folder_name}" doc mv "${zipfile_folder_name}.zip" doc/ +# - name: Deploy +# run: if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi + # These two steps replace the custom deploy script ./auto-push-gh-pages.sh. + - name: Use the documentation as-is for gh-pages by specifying .nojekyll + run: touch doc/.nojekyll - name: Deploy - run: if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi - + uses: JamesIves/github-pages-deploy-action@4.1.4 + with: + branch: gh-pages + folder: doc + commit-message: "Auto-publish to gh-pages"