ruff
[red-knot] Refactor `program.check` scheduling
#11202

Merged

[red-knot] Refactor `program.check` scheduling #11202

MichaReiser merged 3 commits into main from red-knot-executor

MichaReiser changed the base branch from main to red-knot-snapshotting 1 year ago

MichaReiser added internal

MichaReiser requested a review from

carljm 1 year ago

MichaReiser commented on 2024-04-29

MichaReiser marked this pull request as ready for review 1 year ago

carljm approved these changes on 2024-04-30

Base automatically changed from red-knot-snapshotting to main 1 year ago

Refactor `program.check` scheduler

8e40a5b0

Fix spans

5a43c6db

Change `check` to accept `ExecutionMode` instead of arbitrary `Executor`

a8438a71

MichaReiser force pushed from b35486f6 to a8438a71 1 year ago

MichaReiser enabled auto-merge (squash) 1 year ago

MichaReiser merged 7e28c803 into main 1 year ago

MichaReiser deleted the red-knot-executor branch 1 year ago

Reviewers

carljm

Assignees

No one assigned

Labels

internal

Milestone

No milestone