Repository navigation

Migrate to registry-backed Spago and modernize tooling (#2) #12

	name: CI

	# Run CI when a PR is opened against the branch `master`
	# and when one pushes a commit to `master`.
	on:
	push:
	branches: [master]
	pull_request:
	branches: [master]

	# Run CI on all 3 latest OSes
	jobs:
	build:
	strategy:
	matrix:
	os: [ubuntu-latest, macos-latest, windows-latest]
	runs-on: ${{ matrix.os }}

	steps:
	- uses: actions/checkout@v6

	- name: Set up Node toolchain
	uses: actions/setup-node@v6
	with:
	node-version: "24"
	cache: npm

	- name: Setup PureScript tooling
	run: npm ci

	- name: Cache PureScript dependencies
	uses: actions/cache@v5
	with:
	key: ${{ runner.os }}-spago-${{ hashFiles('spago.yaml', 'spago.lock', 'package-lock.json') }}
	path: \|
	.spago
	output

	- name: Build the project
	run: npm run build

	- name: Check Formatting
	if: runner.os == 'Linux'
	run: npm run format:check

	- name: Lint FFI
	if: runner.os == 'Linux'
	run: npm run lint