Florian Bruhin 6d04af727d scripts: Improve spell checks in misc_checks.py ... - Precompile patterns which leads to a nice speedup (8s -> 2.75s on my machine) - Add an explanation - Output messages in a way we can use GitHub Actions problem matchers - Add those problem matchers		2020-11-02 16:50:33 +01:00
..
backtrace.sh	ci: Analyze backtraces on GitHub Actions	2020-07-03 18:55:46 +02:00
problemmatchers.py	scripts: Improve spell checks in misc_checks.py	2020-11-02 16:50:33 +01:00