Fix get_file_list not returning all generated files.

Adds a CI static check for it.
This commit is contained in:
Fabio Alessandrelli
2022-09-11 21:35:09 +02:00
parent 204e504d68
commit c263b3e38c
3 changed files with 53 additions and 5 deletions

View File

@@ -196,3 +196,7 @@ jobs:
- name: Python style checks via black (black_format.sh)
run: |
bash ./misc/scripts/black_format.sh
- name: Bindings generation checks (ensures get_file_list returns all generated files)
run: |
python ./misc/scripts/check_get_file_list.py