PR #12747 Gracefully handle errors in CLI

Gracefully handle errors in CLI #12747

MichaReiser merged 2 commits into main from red-knot-run-gracefully-handle-errors

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser added ty

MichaReiser force pushed from 25ad3bfa to 71849d37 1 year ago

Gracefully handle errors in CLI

544c16f8

MichaReiser force pushed from 71849d37 to 544c16f8 1 year ago

AlexWaygood approved these changes on 2024-08-08

AlexWaygood commented on 2024-08-08

MichaReiser enabled auto-merge (squash) 1 year ago

Review feedback

a4f54947

MichaReiser force pushed from dd6715aa to a4f54947 1 year ago

AlexWaygood commented on 2024-08-08

MichaReiser merged 2daa9143 into main 1 year ago

MichaReiser deleted the red-knot-run-gracefully-handle-errors branch 1 year ago

carljm commented on 2024-08-08

Reviewers

AlexWaygood

carljm

Assignees

No one assigned

Labels

Milestone

No milestone