summaryrefslogtreecommitdiff
path: root/tools/ci
AgeCommit message (Expand)Author
2023-05-16[CI] Added feature to filter out files to file_check.py that do not require c...dejavudwh
2023-05-13[tools/ci]move file_check.py into ci folderMeco Man