.github/workflows/pre-submit.yml

name: pre-submit CI

on:
  push:
  pull_request:

jobs:
  pre-submit:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout repository
        uses: actions/checkout@v4

      - name: Set up Python
        uses: actions/setup-python@v5
        with:
          python-version: "3.12"

      - name: Set up uv
        uses: astral-sh/setup-uv@v4

      - name: Install dependencies
        run: uv sync --extra dev

      - name: Start server
        run: |
          uv run server > server.log 2>&1 &
          echo "SERVER_PID=$!" >> "$GITHUB_ENV"

      - name: Wait for server
        run: |
          for _ in {1..30}; do
            if curl -fsS -X POST http://localhost:8000/reset -H "Content-Type: application/json" -d '{}' >/dev/null; then
              exit 0
            fi
            sleep 2
          done
          echo "Server did not become ready in time"
          cat server.log || true
          exit 1

      - name: Run pre-submission validator
        run: |
          chmod +x ./pre-submission.sh
          uv run ./pre-submission.sh http://localhost:8000 .

      - name: Stop server
        if: always()
        run: |
          if [ -n "${SERVER_PID:-}" ]; then
            kill "$SERVER_PID" || true
          fi