ci/deploy: do write the Pagefind Playground files

This makes experimenting with Pagefind's search parameters easier,
allowing to fiddle with the parameters in real-time by directing the
browser to the `/pagefind/playground` URL.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

Author: dscho

.github/actions/deploy-to-github-pages/action.yml

@@ -83,7 +83,7 @@ runs:
 
     - name: run Pagefind ${{ env.PAGEFIND_VERSION }} to build the search index
       shell: bash
-      run: npx -y pagefind@${{ env.PAGEFIND_VERSION }} --site public
+      run: npx -y pagefind@${{ env.PAGEFIND_VERSION }} --site public --write-playground
 
     - name: Temporarily copy some Rails assets to help the transition
       shell: bash

.github/workflows/ci.yml

@@ -40,7 +40,7 @@ jobs:
         fi
 
     - name: run Pagefind ${{ env.PAGEFIND_VERSION }} to build the search index
-      run: npx -y pagefind@${{ env.PAGEFIND_VERSION }} --site public
+      run: npx -y pagefind@${{ env.PAGEFIND_VERSION }} --site public --write-playground
 
     - name: build tar archive
       run: cd public && tar czvf ../pages.tar.gz *