Publish requires checkout so that website_update_playground.sh is present

cknitt · cknitt · commit 3e93173cf550 · 2023-10-31T18:11:44.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -352,6 +352,9 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
       - name: Use Node.js
         uses: actions/setup-node@v3
         with:
