Import the sharp critical-set bound for Latin squares

57a1d4c

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Greptile Apps

Greptile Review

Proof Profile on: pull_request 5

Plan profile

Measure ${{ matrix.side }} ${{ matrix.shard }}

Profile added files

Report profile

Lean Action CI on: pull_request 5

Plan build

Build pool

Build shard ${{ matrix.shard }}

Check rebased root

Assemble and lint

Build project

Workflow Lint on: pull_request 1

scope

actionlint

SHA-pinned Actions

Partial Port Audit on: pull_request 2

audit (advisory)

PR Separation Guard on: pull_request 1

Content / non-content separation

Python CI on: pull_request 1

scope

Lint (ruff)

Test (pytest)

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Documentation on: pull_request 1

scope

Documentation preflight

Exposition Verify on: pull_request 1

scope

build-ready

Verify minimal Lean files

Greptile Apps / Greptile Review succeeded Oct 23, 2026 in 6m 25s

Base review

Greptile has reviewed the Pull Request.

18 files reviewed, 0 comments added.

Loading