Commit Graph

1 Commits

Author SHA1 Message Date
Marco Bonelli
581821448e Add check-pr script
This script will be run by Travis-CI (on PR builds only) to run some useful
checks. Refer to the comment at the top of the script for more information.
2019-11-29 16:01:25 +00:00