
Scripts for continuous integration

