You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Nick Brassel 2e766a9c7a Add Discord webhook at end of each CI run. (#20355)		3 years ago
..
__init__.py	…
c.py	Also format *.hpp files. (#16997)	4 years ago
json.py	…
python.py	Add Discord webhook at end of each CI run. (#20355)	3 years ago
text.py	Partially reinstate CI formatting process (#15155)	4 years ago