PR #5919 Add formatter progress tracking to CI

Add formatter progress tracking to CI #5919

konstin merged 2 commits into main from add_format_testing_script

konstin force pushed from 195624c7 to 9f5b6b8d 2 years ago

zanieb commented on 2023-07-20

konstin force pushed from 2379138f to 804fc80c 2 years ago

konstin marked this pull request as ready for review 2 years ago

MichaReiser approved these changes on 2023-07-24

Add formatter progress testing script

f046dc5b

konstin force pushed from a73c03e0 to f046dc5b 2 years ago

Ready for merge

16bfc09f

konstin enabled auto-merge (squash) 2 years ago

konstin merged 8a7dcb79 into main 2 years ago

konstin deleted the add_format_testing_script branch 2 years ago

Reviewers

MichaReiser

zanieb

Assignees

No one assigned

Labels

None yet

Milestone

No milestone