Hugo LocurcioandRémi Verschelde 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

..

black_format.sh

Print colored diffs when there are formatting failures in CI

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

check_ci_log.py

Added Linux sanitizer with xvfb to github workspace

2020-08-14 12:15:58 +02:00

clang_format.sh

Print colored diffs when there are formatting failures in CI

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

copyright_headers.py

Update copyright statements to 2021

2021-01-13 16:17:06 +01:00

file_format.sh

Print colored diffs when there are formatting failures in CI

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

make_icons.sh

Remove unused scripts from the misc/scripts directory

2019-12-17 23:22:47 +01:00

make_tarball.sh

Add script to make source tarball with .git/HEAD

2021-08-03 10:20:18 +02:00