ci.yml

# SPDX-License-Identifier: MIT
name: CI

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

jobs:
  render:
    name: Render proof
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4

      - name: Install OpenSCAD
        run: |
          sudo apt-get update
          sudo apt-get install -y openscad
          openscad --version

      - name: Full render proof (split fast cells + examples + negative asserts + mesh checks)
        shell: pwsh
        run: |
          & ./scripts/render_proof.ps1 -OpenSCAD openscad -OutDir proof/ci

      - name: Upload proof artifacts
        if: always()
        uses: actions/upload-artifact@v4
        with:
          name: render-proof-output
          path: proof/ci
          if-no-files-found: ignore