Repository navigation

fix: correct ten reported figures across the panels, and pin each one #5

	name: CI

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

	concurrency:
	group: ci-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	frontend:
	name: Frontend (lint, types, format, tests, build)
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7

	- uses: actions/setup-node@v7
	with:
	node-version-file: .nvmrc
	cache: npm
	cache-dependency-path: \|
	package-lock.json
	infra/package-lock.json

	- name: Install dependencies
	run: npm ci

	# `npm run lint` type-lints infra/*/.ts against infra/tsconfig.json,
	# so the CDK dependencies must be present. There are no npm workspaces,
	# so the root install does not provide them.
	- name: Install infra dependencies
	run: npm ci
	working-directory: infra

	- name: Lint
	run: npm run lint

	- name: Typecheck
	run: npm run typecheck

	- name: Format check
	run: npm run format:check

	- name: Tests
	run: npm test

	- name: Build
	run: npm run build

	infra:
	name: Infra (CDK typecheck and assertion tests)
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7

	- uses: actions/setup-node@v7
	with:
	node-version-file: .nvmrc
	cache: npm
	cache-dependency-path: infra/package-lock.json

	- name: Install dependencies
	run: npm ci
	working-directory: infra

	- name: Typecheck
	run: npm run typecheck
	working-directory: infra

	- name: Tests
	run: npm test
	working-directory: infra