Eli Schwartz 253df6f9f8 CI: make linters emit colored output ... Github Actions supports this fine, but is misdetected by flake8/mypy. Even though pylint defaults to text instead of colorized, we might as well do the right thing here though.		2023-08-18 15:38:13 -04:00
..
ISSUE_TEMPLATE	add bug report template [skip ci]	2019-11-17 14:07:59 +02:00
codeql	Add github's CodeQL scanner to CI.	2022-11-28 12:02:17 -08:00
workflows	CI: make linters emit colored output	2023-08-18 15:38:13 -04:00
codecov.yml	Disable codecov comment	2023-03-16 10:52:50 -04:00