CI: fix permissions on scripts

This commit is contained in:
Adriaan de Groot 2021-11-16 17:15:37 +01:00
parent 8652fc5f6d
commit 8233be93cf
3 changed files with 0 additions and 0 deletions

0
ci/configvalidator.py Normal file → Executable file
View File

0
ci/txcheck.sh Normal file → Executable file
View File

0
ci/txreduce.py Normal file → Executable file
View File