4 Commits

Author	SHA1	Message	Date
Leo Balter	96aa8c77b3	revert after_success	2017-04-11 14:12:07 -04:00
Leo Balter	d2ee888bf0	Improve readability for ci scripts (#966)	2017-04-11 14:00:07 -04:00
Leo Balter	4dbd704904	Update Travis to check for changes after regenerating tests (#965)	2017-04-11 13:09:18 -04:00
jugglinmike	bcb7651529	Automate deployment (#546) ... Introduce configuration to allow build servers provided by the Travis CI service to execute the test generation tool and commit the resultant files to the canonical upstream repository. Enabling this workflow required additional administrative work: 1. Create an account with TravisCI 2. Install the `travis` command-line utility 3. Create a "deploy key" and an encrypted version using the command `./make.py github_deploy_key_enc` 4. Register the deploy key with the project's GitHub account 5. Check the encrypted deploy key to the repository 6. Configure the TravisCI service to automatically build this project	2017-04-10 15:31:19 -04:00