add missing dependency

leanprover-community · Mar 3, 2025 · 1d4299e · 1d4299e
1 parent 9a56eb9
commit 1d4299e
Show file tree

Hide file tree

Showing 3 changed files with 265 additions and 25 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -27,19 +27,19 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v4
-      - uses: leanprover/lean-action@v1
+      - name: Install elan
+        uses: leanprover/lean-action@v1
         with:
           lake-package-directory: "server"
           use-mathlib-cache: false
           use-github-cache: false
           auto-config: false
-          build: true
+          build: false
           test: false
           lint: false
       - name: Install dependencies
         run: npm install
-      - name: Build for production
+      - name: Build Lean & React
         run: npm run build
       - name: Cypress tests
-        if: always()
         run: npm test
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -56,6 +56,7 @@
     "remark-math": "^5.1.1",
     "request": "^2.88.2",
     "request-progress": "^3.0.0",
+    "rollup": "^4.34.9",
     "vscode-ws-jsonrpc": "^2.0.1",
     "web-worker": "^1.2.0",
     "ws": "^8.11.0"