update workflow

.github/workflows/build.yml

@@ -1,23 +1,42 @@
-name: Build
-run-name: Build the project
+name: Build and Test
+run-name: Build and Test
 on:
   workflow_dispatch:
   push:
+    branches:
+      - "main"
+      - "dev"
+  pull_request:
+    branches:
+      - "main"
+      - "dev"
+    paths:
+      - ".github/workflows/build.yml"
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
+defaults:
+  run:
+    shell: bash
+
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - name: install elan
-        run: |
-          set -o pipefail
-          curl -sSfL https://github.com/leanprover/elan/releases/download/v3.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
-          ./elan-init -y
-          echo "$HOME/.elan/bin" >> $GITHUB_PATH
       - uses: actions/checkout@v4
-      - uses: actions/setup-node@v3
-      - name: print lean and lake versions
-        run: |
-          lean --version
-          lake --version
+      - uses: actions/setup-node@v4
+      - uses: leanprover/lean-action@v1
+        with:
+          lake-package-directory: "server"
+          use-mathlib-cache: false
+          auto-config: false
+          build: true
+          test: false
+          lint: false
       - run: npm install
-      - run: npm run build
+      - name: Build for production
+        run: npm run build
+      - name: Run cypress tests
+        run: npm test