Kamil Śliwak
|
433c261a2f
|
report_errors.sh: Don't try to communicate with github if path or line is not known
|
2021-01-18 15:27:00 +01:00 |
|
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 |
|