Build and Test #905

	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:
	- uses: actions/checkout@v4
	- 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
	- name: Build for production
	run: npm run build
	- name: Run cypress tests
	run: npm test

Provide feedback