PR #12241 Remove default-run from 'red_knot' crate

Remove default-run from 'red_knot' crate #12241

MichaReiser merged 1 commit into main from red-knotremove-default-run

Remove default-run from 'red_knot' crate

2909f03e

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser added internal

MichaReiser enabled auto-merge (squash) 1 year ago

MichaReiser merged 64855c5f into main 1 year ago

MichaReiser deleted the red-knotremove-default-run branch 1 year ago

Reviewers

carljm

AlexWaygood

Assignees

No one assigned

Labels

internal

Milestone

No milestone