check-datafiles GitHub Action to compile, check and test datafiles in the repository in terms of validity, integrity and bugs