From bcb7651529bc641bf7bfe1c62efcd7b5bcb5b2ab Mon Sep 17 00:00:00 2001 From: jugglinmike Date: Mon, 10 Apr 2017 15:31:19 -0400 Subject: 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 --- github-deploy-key.enc | Bin 0 -> 3248 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 github-deploy-key.enc (limited to 'github-deploy-key.enc') diff --git a/github-deploy-key.enc b/github-deploy-key.enc new file mode 100644 index 000000000..fe92f02b3 Binary files /dev/null and b/github-deploy-key.enc differ -- cgit v1.2.1