check.yml

name: Check

# Everything that decides whether a change is allowed to land. The three publish
# workflows beside this one only ship what has already been merged, so until this
# existed nothing in CI had ever run a test.
on:
  push:
    branches:
      - main
      - master
  pull_request:
  workflow_dispatch:

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

jobs:
  check:
    runs-on: ubuntu-latest

    # Separate jobs rather than steps, so a failing formatter still tells you
    # whether the tests pass. One job would stop at the first thing that broke and
    # hide the rest behind it.
    strategy:
      fail-fast: false
      matrix:
        include:
          - name: test
            run: bun test
          - name: lint
            run: bun run lint
          - name: format
            run: bun run format:check

    name: ${{ matrix.name }}

    steps:
      - name: Check out repository
        uses: actions/checkout@v4

      - name: Set up Bun
        uses: oven-sh/setup-bun@v2
        with:
          bun-version: latest

      - name: Install dependencies
        run: bun install --frozen-lockfile

      - name: Run ${{ matrix.name }}
        run: ${{ matrix.run }}

  # `tsc.sh` reports a failure by printing "Failed:" and carrying on to the next
  # package, so that one broken tsconfig does not hide the state of the other
  # eighteen. That is the right behaviour locally and useless in CI, where a green
  # tick would mean nothing. This reads the output back and fails on it.
  types:
    runs-on: ubuntu-latest
    name: types
    steps:
      - name: Check out repository
        uses: actions/checkout@v4

      - name: Set up Bun
        uses: oven-sh/setup-bun@v2
        with:
          bun-version: latest

      - name: Install dependencies
        run: bun install --frozen-lockfile

      - name: Typecheck every package
        run: |
          bash ./tsc.sh 2>&1 | tee tsc.log
          if grep -q '^Failed:' tsc.log; then
            echo "::error::At least one package failed to typecheck."
            grep '^Failed:' tsc.log
            exit 1
          fi