Hugo Locurcio d1a4cb2bea Print colored diffs when there are formatting failures in CI ...

This makes diffs more readable in CI logs.

(cherry picked from commit 38424714b1)

2021-09-14 13:41:26 +02:00

..

ci

CI: Refactor Android workflow, use pre-installed SDK and NDK

2020-10-23 13:27:44 +02:00

dist

doc: Point URLs to 3.4 version of the online docs

2021-08-12 17:08:10 +02:00

hooks

Allow clang-format 12 in the pre-commit hook

2021-06-07 22:36:31 +02:00

scripts

Print colored diffs when there are formatting failures in CI

2021-09-14 13:41:26 +02:00