This folder contains scripts used by GitHub Continuous Integration. It is recommended to run these scripts locally before submitting a pull request.