ci.yml

name: CI
# Every push runs CI, on any branch, so a unit needs no pull request to be checked.
on:
  push:
  workflow_dispatch:
jobs:
  checks:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v7
      - uses: actions/setup-node@v7
        with:
          node-version: 24
          cache: npm
      - uses: actions/setup-python@v7
        with:
          python-version: "3.x"
      - run: npm ci
      - run: PYTHONDONTWRITEBYTECODE=1 python3 design/tools/check.py
      - run: PYTHONDONTWRITEBYTECODE=1 python3 -m unittest design/tools/test_decisions.py
      - run: npm run typecheck
      - run: npm run lint
      - run: npm run format:check
      - run: npm test
  native:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v7
      - uses: actions/setup-node@v7
        with:
          node-version: 24
          cache: npm
      - uses: actions/cache@v6
        with:
          path: .cache
          key: convex-local-backend-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('harness/backend-release.json') }}
      - run: npm ci
      # Codegen rewrites both compositions' generated files. A changed or a new file fails the job.
      - run: npm run codegen
      - run: git diff --exit-code -- fixture/convex example/convex
      - run: test -z "$(git status --porcelain -- fixture/convex example/convex)"
      # One run of every test project, so that one record holds every tier's results.
      - run: npm run test:all
      # The acceptance check reads that run's record. It fails the job on a failed or absent
      # scenario (exit 1) and when it cannot answer (exit 2). A scenario with no verifier (exit 3)
      # is reported in the job summary and does not fail the job.
      - name: Acceptance check
        if: always()
        run: |
          set +e
          npm run --silent acceptance > "$RUNNER_TEMP/acceptance.txt"
          code=$?
          set -e
          cat "$RUNNER_TEMP/acceptance.txt"
          {
            echo '## Acceptance check'
            echo
            echo '```text'
            cat "$RUNNER_TEMP/acceptance.txt"
            echo '```'
          } >> "$GITHUB_STEP_SUMMARY"
          test "$code" -eq 0 || test "$code" -eq 3
      - uses: actions/upload-artifact@v7
        if: always()
        with:
          name: native-evidence
          path: evidence/runs/*.json