Update explorer during deployment

liangping · liangping · commit ce7d2e476f0d · 2026-06-17T18:22:27.000+08:00
diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
@@ -25,6 +25,11 @@ jobs:
         with:
           submodules: recursive
 
+      - name: Update explorer to latest
+        run: |
+          git submodule update --remote --checkout explorer
+          git -C explorer log -1 --oneline
+
       - name: Setup Pages
         uses: actions/configure-pages@v5
 
