Fix FAST names (#539)

* name checker, initial names fix

* fix name parser

* sdbx -> sbox

* explicit names

* show total name length

* check names in linting action

* validate prefix length

* fix typo
This commit is contained in:
Ludovico Magnocavallo
2022-02-12 13:29:22 +01:00
committed by GitHub
parent 9076c2f2b0
commit fbf4d29c88
20 changed files with 199 additions and 65 deletions

View File

@@ -62,3 +62,8 @@ jobs:
id: documentation-links-fabric
run: |
python3 tools/check_links.py .
- name: Check name length (fast)
id: name-length-fast
run: |
python3 tools/check_names.py --prefix-length=10 fast/stages