Merge branch 'main' into feat/risedev-support-pg-meta-backend

risingwavelabs · May 13, 2024 · 3079434 · 3079434
2 parents f992303 + 5ea0b67
commit 3079434
Show file tree

Hide file tree

Showing 172 changed files with 3,365 additions and 7,145 deletions.
diff --git a/.github/workflows/dashboard_main.yml → .github/workflows/dashboard.yml b/.github/workflows/dashboard_main.yml → .github/workflows/dashboard.yml
@@ -1,8 +1,11 @@
-name: Dashboard (main)
+name: Dashboard
 on:
   push:
     branches: [main]
     paths: [dashboard/**, proto/**]
+  pull_request:
+    branches: [main]
+    paths: [dashboard/**, proto/**]
   workflow_dispatch:
 jobs:
   dashboard-ui-deploy:
@@ -19,11 +22,14 @@ jobs:
       - name: build
         working-directory: ./dashboard
         run: |
+          echo "::group::npm install"
           npm install
+          echo "::endgroup::"
           npm run lint
           npm run build
       - name: Deploy
         uses: s0/git-publish-subdir-action@develop
+        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
         env:
           REPO: self
           BRANCH: dashboard-artifact

diff --git a/.github/workflows/dashboard_pr.yml b/.github/workflows/dashboard_pr.yml