Make formatting pipeline fail if something had to be formatted #118
Triggered via pull request
September 1, 2023 14:53
HeinrichApfelmus
Status
Success
Total duration
10m 38s
Artifacts
–