Optimize QuantumParallelRepetition proof elaboration

a5f259b

Select commit

Loading

Failed to load commit list.

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

Greptile Apps

Greptile Review

Workflow Lint on: pull_request 1

scope

actionlint

SHA-pinned Actions

Partial Port Audit on: pull_request 2

audit (advisory)

Exposition Verify on: pull_request 1

scope

build-ready

Verify minimal Lean files

Python CI on: pull_request 1

scope

Lint (ruff)

Test (pytest)

PR Separation Guard on: pull_request 1

Content / non-content separation

Lean Action CI on: pull_request 5

Plan build

Build pool

Build shard ${{ matrix.shard }}

Check rebased root

Assemble and lint

Build project

Documentation on: pull_request 1

scope

Documentation preflight

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Greptile Apps / Greptile Review succeeded Oct 18, 2026 in 4m 23s

Base review

Greptile has reviewed the Pull Request.

10 files reviewed, 0 comments added.

Loading