recycle lemma about colimits of monomorphisms; prove that Sch is not … #1470

	name: Test Workflow

	on:
	push:
	branches: [main]
	pull_request:
	workflow_dispatch:

	jobs:
	test:
	if: ${{ github.event_name != 'pull_request' \|\| github.event.pull_request.draft == false }}
	runs-on: ubuntu-latest

	steps:
	- name: Checkout code
	uses: actions/checkout@v5

	- name: Install pnpm
	uses: pnpm/action-setup@v5
	with:
	version: 10

	- name: Use Node.js
	uses: actions/setup-node@v5
	with:
	node-version: 24.14.0
	cache: 'pnpm'

	- name: Install Dependencies
	run: pnpm i

	- name: Test database
	run: \|
	pnpm db:setup
	pnpm db:update

	- name: Cache Playwright browsers
	uses: actions/cache@v6
	with:
	path: ~/.cache/ms-playwright
	key: ${{ runner.os }}-playwright-${{ hashFiles('pnpm-lock.yaml') }}

	- name: Install Playwright Browsers
	run: pnpm exec playwright install --with-deps chromium

	- name: Run Playwright tests
	env:
	PUBLIC_ADMIN_URL: http://localhost:5174
	run: pnpm e2e

Navigation Menu