Script to run continuous integration on a respec-based spec - View it on GitHub