ruff
Exit with an error if there are check failures
#12735
Merged

Exit with an error if there are check failures #12735

MichaReiser merged 2 commits into main from add-exit-code
MichaReiser
MichaReiser MichaReiser requested a review from carljm carljm 1 year ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 1 year ago
MichaReiser MichaReiser added ty
AlexWaygood
AlexWaygood approved these changes on 2024-08-07
MichaReiser MichaReiser force pushed from b6e8b6cb to 47ad891b 1 year ago
github-actions
carljm
carljm approved these changes on 2024-08-07
Base automatically changed from red-knot-tracing to main 1 year ago
MichaReiser Exit with an error if there are check failures
6d6298af
MichaReiser Simplify `From<ExitStatus>` implementation
9fff205d
MichaReiser MichaReiser force pushed from 4ac790f5 to 9fff205d 1 year ago
MichaReiser MichaReiser enabled auto-merge (squash) 1 year ago
MichaReiser MichaReiser merged df7345e1 into main 1 year ago
MichaReiser MichaReiser deleted the add-exit-code branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone