ci

use list[str] for args #6

Sign in to view logs

Workflow file for this run

.github/workflows/ci.yaml at 355bd7c

	name: ci

	on:
	pull_request:
	push:
	branches:
	- main

	jobs:
	lint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Lint
	run: \|
	make fmt
	typecheck:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Typecheck
	run: \|
	make typecheck