Deploy to https://amaranth-lang.org.

.github/workflows/main.yaml

@@ -22,6 +22,28 @@ jobs:
 
   deploy:
     needs: build
+    if: ${{ github.repository == 'amaranth-lang/playground' && github.event_name == 'push' && github.event.ref == 'refs/heads/live' }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v4
+      - name: Download artifact
+        uses: actions/download-artifact@v4
+        with:
+          name: dist
+          path: dist/
+      - name: Publish development documentation
+        uses: JamesIves/github-pages-deploy-action@releases/v4
+        with:
+          folder: dist/
+          repository-name: amaranth-lang/amaranth-lang.github.io
+          ssh-key: ${{ secrets.PAGES_DEPLOY_KEY }}
+          branch: main
+          target-folder: play/
+
+  deploy-dev:
+    needs: build
+    if: ${{ github.event_name == 'push' && github.event.ref == 'refs/heads/main' }}
     runs-on: ubuntu-latest
     permissions:
       contents: write
@@ -37,7 +59,6 @@ jobs:
         run: |
           touch dist/.nojekyll
       - name: Publish artifact
-        if: "${{ github.event_name == 'push' && github.event.ref == 'refs/heads/main' }}"
         uses: JamesIves/github-pages-deploy-action@releases/v4
         with:
           folder: dist/