Refactor MuJoCo Live to separate out HTML, CSS, and JS components.

PiperOrigin-RevId: 915340338
Change-Id: Ic62b9d640af9967a59a77fa59a3556b916d5a24c

.github/workflows/build.yml

@@ -14,6 +14,8 @@ name: build
 
 on:
   push:
+    branches:
+      - main
     paths-ignore:
       - "doc/**"
       - "**/README.md"

.github/workflows/build_steps.sh

@@ -317,7 +317,7 @@ build_mujoco_live() {
         -DMUJOCO_USE_FILAMENT=ON \
         -DMUJOCO_BUILD_TESTS_WASM=OFF \
         -DMUJOCO_NATIVE_BUILD_DIR=$(pwd)/build_host
-    cmake --build build_wasm --target mujoco_live -j$(nproc)
+    cmake --build build_wasm --target mujoco_studio -j$(nproc)
 }
 
 

.github/workflows/live.yml

@@ -32,7 +32,9 @@ jobs:
       run: |
         mkdir -p dist/bin
         cp -r build_wasm/bin/* dist/bin/
-        cp src/experimental/studio/index.html dist/index.html
+        cp src/experimental/studio/live.html dist/index.html
+        cp src/experimental/studio/live.css dist/live.css
+        cp src/experimental/studio/live.js dist/live.js
         COMMIT_HASH=$(git rev-parse HEAD 2>/dev/null || true)
         if [ -n "$COMMIT_HASH" ]; then
           sed -i "s/__COMMIT_HASH_PLACEHOLDER__/$COMMIT_HASH/g" dist/index.html