break up build and deploy workflows

.github/workflows/emscripten-build.yml

@@ -3,10 +3,10 @@ name: Emscripten Build
 on:
   push:
     branches:
-      - main
-      - test-branch
+      - develop
   pull_request:
     branches:
+      - develop
       - main
 
 jobs:
@@ -33,19 +33,11 @@ jobs:
           source ./emsdk_env.sh
         shell: bash
 
-      - name: Configure the build
+      - name: Build with Emscripten
         run: |
           source emsdk/emsdk_env.sh
           cd demo
           make emscripten
         shell: bash
 
-      - name: copy file via ssh password
-        uses: appleboy/[email protected]
-        with:
-          host: ${{ secrets.REMOTE_SERVER_ADDR }}
-          username: ${{ secrets.REMOTE_SERVER_USER }}
-          key: ${{ secrets.REMOTE_SERVER_SSH_KEY }}
-          port: ${{ secrets.REMOTE_SERVER_PORT }}
-          source: "demo/*.html,demo/*.js,demo/*.wasm,demo/*.data"
-          target: ${{ secrets.REMOTE_SERVER_DIRECTORY }}
+

.github/workflows/emscripten-deploy.yml

@@ -0,0 +1,70 @@
+name: Emscripten Deploy
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v3
+        with:
+          submodules: 'recursive'
+
+      - name: Set up Python (required for Emscripten)
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.x'
+
+      - name: Install Emscripten SDK
+        run: |
+          git clone https://github.com/emscripten-core/emsdk.git
+          cd emsdk
+          ./emsdk install latest
+          ./emsdk activate latest
+          source ./emsdk_env.sh
+        shell: bash
+
+      - name: Build with Emscripten
+        run: |
+          source emsdk/emsdk_env.sh
+          cd demo
+          make emscripten
+        shell: bash
+
+      - name: Deploy Main Demo
+        uses: appleboy/[email protected]
+        with:
+          host: ${{ secrets.REMOTE_SERVER_ADDR }}
+          username: ${{ secrets.REMOTE_SERVER_USER }}
+          key: ${{ secrets.REMOTE_SERVER_SSH_KEY }}
+          port: ${{ secrets.REMOTE_SERVER_PORT }}
+          source: "demo/demo.html,demo/demo.js,demo/demo.wasm,demo/demo.data"
+          target: ${{ secrets.REMOTE_SERVER_DIRECTORY }}
+          strip_components: 1
+
+      - name: Deploy Waveform Demo
+        uses: appleboy/[email protected]
+        with:
+          host: ${{ secrets.REMOTE_SERVER_ADDR }}
+          username: ${{ secrets.REMOTE_SERVER_USER }}
+          key: ${{ secrets.REMOTE_SERVER_SSH_KEY }}
+          port: ${{ secrets.REMOTE_SERVER_PORT }}
+          source: "demo/demo_waveform.html,demo/demo_waveform.js,demo/demo_waveform.wasm,demo/demo_waveform.data"
+          target: ${{ secrets.REMOTE_SERVER_DIRECTORY }}
+          strip_components: 1
+
+      - name: Deploy Synthesis Demo
+        uses: appleboy/[email protected]
+        with:
+          host: ${{ secrets.REMOTE_SERVER_ADDR }}
+          username: ${{ secrets.REMOTE_SERVER_USER }}
+          key: ${{ secrets.REMOTE_SERVER_SSH_KEY }}
+          port: ${{ secrets.REMOTE_SERVER_PORT }}
+          source: "demo/demo_synthesis.html,demo/demo_synthesis.js,demo/demo_synthesis.wasm,demo/demo_synthesis.data"
+          target: ${{ secrets.REMOTE_SERVER_DIRECTORY }}
+          strip_components: 1