build.yml

name: Lean build

on:
  push:
  pull_request:

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      # 1. Clona o repositório
      - uses: actions/checkout@v3

      # 2. Cache do elan (Lean toolchain)
      - name: Cache elan
        uses: actions/cache@v3
        with:
          path: ~/.elan
          key: ${{ runner.os }}-elan-${{ hashFiles('lean-toolchain') }}

      # 3. Instala Lean (rápido se vier do cache)
      - name: Install Lean
        run: |
          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y
          echo "$HOME/.elan/bin" >> $GITHUB_PATH

      # 4. Cache do projeto (.lake + deps)
      - name: Cache lake
        uses: actions/cache@v3
        with:
          path: |
            .lake
            build
          key: ${{ runner.os }}-lake-${{ hashFiles('lakefile.lean') }}

      # 5. Baixa dependências
      - name: Update deps
        run: lake update

      # 6. Build
      - name: Build
        run: lake build