Add webhook to invoke a compatibility check#2268

allredj merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

allredj:trigger-testgenallredj/cbmc:trigger-testgenCopy head branch name to clipboard