Keep discarded-run cleanup going after per-run failures

86797a9

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Greptile Apps

Greptile Review

Python CI on: pull_request 5

scope

Lint (ruff)

Test (pytest)

Proof Profile on: pull_request 3

Plan profile

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

Profile added files

Report profile

Workflow Lint on: pull_request 1

scope

actionlint

SHA-pinned Actions

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

Exposition Verify on: pull_request 1

scope

build-ready

Verify minimal Lean files

PR Separation Guard on: pull_request 1

Content / non-content separation

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Proof Profile on: pull_request 3

Plan profile

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

Profile added files

Report profile

Auto-rebase open PRs on: pull_request_target 1

List open PRs

Rebase

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Greptile Apps / Greptile Review succeeded Nov 3, 2026 in 2m 56s

Base review

Greptile has reviewed the Pull Request.

2 files reviewed, 0 comments added.

View more details on Greptile Apps

Loading

Re-running checks...