Merge pull request #2268 from allredj/trigger-testgen

Add webhook to invoke a compatibility check

Author: Joel Allred

.travis.yml

@@ -288,6 +288,7 @@ notifications:
   webhooks:
     urls:
       - http://dashboard.diffblue.com/api/travis-webhooks
+      - https://us-central1-dev-user-joelallred.cloudfunctions.net/trigger-testgen-from-cbmc
     on_success: always
     on_failure: always
     on_start: never