From d58eeb4041f8a705599a68fdf39ee34f3021646a Mon Sep 17 00:00:00 2001
From: Joel Allred <joel.allred@diffblue.com>
Date: Fri, 1 Jun 2018 11:14:12 +0100
Subject: [PATCH] Add webhook to invoke a Diffblue-specific function

Triggers compatibility checks for the current PR.

The plan is to then give feedback on the PR as to whether it is
compatible with Diffblue products, but this part is not yet merged.

Function will be moved to the Diffblue cloud (instead of joelallred)
once the framework is finalised.
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 0f8f9b37d76..99374ba9ed5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -286,6 +286,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