Merge pull request #137 from rzk-lang/fix-latest-playground

Push Rzk Playground to latest (since it's not replicated by default)
rzk-lang · Oct 9, 2023 · 5e5c2d7 · 5e5c2d7
2 parents 123b225 + bc428b9
commit 5e5c2d7
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/ghcjs.yml b/.github/workflows/ghcjs.yml
@@ -92,6 +92,16 @@ jobs:
           clean: false
           single-commit: true
 
+      - name: '🚀 Publish JS "binaries" (latest)'
+        if: ${{ startsWith(github.ref, 'refs/tags/') && startsWith(github.ref_name, 'v') && github.event_name == 'push' }}
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          folder: rzk-playground-release
+          target-folder: latest/playground
+          clean: false
+          single-commit: true
+
       - name: '🚀 Publish JS "binaries"'
         if: ${{ github.ref_name == 'main' && github.event_name == 'push' }}
         uses: JamesIves/github-pages-deploy-action@v4