Build and Test #913

	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, build and test server
	uses: leanprover/lean-action@v1
	with:
	lake-package-directory: "server"
	use-mathlib-cache: false
	use-github-cache: false
	auto-config: false
	build: true
	test: true
	lint: false
	- name: Install dependencies
	run: npm install
	- name: Build client for production
	run: npm run build:client
	- name: Cypress tests
	if: always()
	run: npm test

Provide feedback