Nick Brassel 2e766a9c7a Add Discord webhook at end of each CI run. (#20355) 3 år sedan
..
__init__.py 0713797c58 Ensure that safe_commands always run (#13199) 5 år sedan
c.py be9fa68785 Also format *.hpp files. (#16997) 4 år sedan
json.py b908275354 Optimize our jsonschema by using refs (#13271) 5 år sedan
python.py 2e766a9c7a Add Discord webhook at end of each CI run. (#20355) 3 år sedan
text.py ec0bb791f8 Partially reinstate CI formatting process (#15155) 4 år sedan