Commit Graph

6 Commits

Author SHA1 Message Date
Kamil Śliwak
ca7327ec3f Replace the weird magic trap-waterfall-style flow in report_errors.sh with normal calls 2021-01-18 15:27:00 +01:00
Kamil Śliwak
5958e8d9ea check_style: Always use a newly created temporary file to store logs 2021-01-18 15:27:00 +01:00
Kamil Śliwak
a80b032081 Fix inconsistent indentation in scripts/
- NOT reindenting all files. Just choosing one style in files that were using multiple.
2020-04-17 19:09:02 +02:00
chriseth
8dd02f2712 Change error reporting from left to right. 2020-04-09 17:27:50 +02:00
David Cian
f682942f96 Make CircleCI post diff review for style violation
The CircleCI robot now also posts a review comment
directly on the diff (on GitHub, the changes tab),
where the style violations take place.
2020-04-09 16:56:25 +02:00
Chris Purta
5c67821af4 Script that directly comments errors to the github pull request. 2018-11-26 15:43:17 +01:00