name: CI

on:
  push:
    branches: [main]
  pull_request:
    branches: [main]

# mlugg/setup-zig has no Node 24 release yet (v2 declares node20). GitHub
# forces Node 24 on June 16, 2026 — opt in now so the forcing holds no
# surprise; the action is plain JS and runs fine on 24.
env:
  FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true

jobs:
  test:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6

      - name: Install Zig 0.16.0
        uses: mlugg/setup-zig@v2
        with:
          version: 0.16.0

      - name: Build
        run: zig build

      - name: Test
        run: zig build test

      - name: Differential gate (stage0 vs stage1)
        run: zig build diff-corpus

      - name: Bootstrap fixpoint (stage1 vs stage2)
        run: zig build fixpoint