Deploy runtime assets from static and include sim-vpi in release docs

Author: thomasahle

.github/workflows/deploy.yml

@@ -34,26 +34,26 @@ jobs:
         run: npm ci
 
       - name: Download Surfer assets
-        run: scripts/setup-surfer.sh public/surfer
+        run: scripts/setup-surfer.sh
 
       - name: Download Pyodide assets
-        run: PYODIDE_DEST_DIR=public/pyodide scripts/setup-pyodide.sh
+        run: scripts/setup-pyodide.sh
 
       - name: Download CIRCT wasm artifacts
         # Artifacts are stored in a GitHub Release named 'circt-wasm'.
         # To publish them locally, run:
         #   gh release create circt-wasm --title "CIRCT WASM artifacts" \
-        #     static/circt/circt-{bmc,sim,verilog}.{js,wasm}
+        #     static/circt/circt-{bmc,sim,sim-vpi,verilog,lec}.{js,wasm}
         # The build proceeds without them; simulation features will be
         # unavailable but the rest of the tutorial still works.
         run: |
-          mkdir -p public/circt
+          mkdir -p static/circt
           if gh release download circt-wasm \
                --repo "$GITHUB_REPOSITORY" \
-               -D public/circt \
+               -D static/circt \
                --clobber 2>/dev/null; then
             echo "CIRCT artifacts downloaded from release 'circt-wasm'"
-            ls -lh public/circt/
+            ls -lh static/circt/
           else
             echo "::notice::No 'circt-wasm' release found; simulation features will be unavailable."
           fi