Ports and adapts TG's maplint (#18873)

Ports and adapts TG's maplint, not all checks it has are present, this
is just the first iteration.
Updated python dependency to 3.11.9.
Updated bootstrap.
Fixed various maps to not fail maplint.
This commit is contained in:
Fluffy
2024-04-08 08:27:27 +00:00
committed by GitHub
parent 83b38cbdbc
commit 49d1ea41a6
45 changed files with 74223 additions and 1692 deletions
+2 -1
View File
@@ -294,9 +294,10 @@ jobs:
run: |
tools/bootstrap/python -m dmi.test
- name: Check DMM-Test
- name: Run Map Checks
run: |
tools/bootstrap/python -m mapmerge2.dmm_test
tools/bootstrap/python -m tools.maplint.source
###########################################
############## GENERIC TESTS ##############