Skip to content

Deleted a leftover todo #12

Deleted a leftover todo

Deleted a leftover todo #12

Workflow file for this run

name: Type Checking
on:
push:
branches:
- main
pull_request:
jobs:
typecheck:
name: Typecheck
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Setup Node.js
uses: actions/setup-node@v4
with:
node-version: "18"
- name: Install dependencies
run: npm ci
- name: Typecheck
run: npm run typecheck