Merge summer work #15

	name: Test Package

	on: [ push, pull_request ]

	jobs:
	build:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: [ "3.10", "3.11", "3.12" ]

	steps:
	- uses: actions/checkout@v3

	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}
	cache: 'pip'

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -U -r requirements.txt

	- name: Ensure dist build is valid
	run: \|
	mkdir -p dist
	python -m build --sdist --wheel --outdir dist/ .

	- name: Print version
	run: python -m redel --version

	thin:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: [ "3.10", "3.11", "3.12" ]

	steps:
	- uses: actions/checkout@v3

	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}
	cache: 'pip'

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -Ue .
	pip install kani[openai] # thin doesn't include the default engine either; we should install it

	- name: Print version
	run: python -m redel --version

	web:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3

	- name: Set up Node
	uses: actions/setup-node@v4
	with:
	node-version: 'lts/*'
	cache: 'npm'
	cache-dependency-path: viz/package-lock.json

	- name: Install dependencies
	working-directory: viz
	run: npm i

	- name: Build web interface
	working-directory: viz
	run: npm run build

Provide feedback