Build and Test #912

	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
	- 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: false
	test: false
	lint: false
	- name: Install dependencies
	run: npm install
	- name: Build Lean
	run: npm run build_server
	# - name: Build for Production
	# run: npm run build_client
	- name: Cypress tests
	run: npm test

Provide feedback