{"action":"created","issue":{"url":"https://api.github.com/repos/klee/klee/issues/390","repository_url":"https://api.github.com/repos/klee/klee","labels_url":"https://api.github.com/repos/klee/klee/issues/390/labels{/name}","comments_url":"https://api.github.com/repos/klee/klee/issues/390/comments","events_url":"https://api.github.com/repos/klee/klee/issues/390/events","html_url":"https://github.com/klee/klee/issues/390","id":154849081,"number":390,"title":"Update TravisCI with CMake 2.8.8","user":{"login":"andreamattavelli","id":5530090,"avatar_url":"https://avatars.githubusercontent.com/u/5530090?v=3","gravatar_id":"","url":"https://api.github.com/users/andreamattavelli","html_url":"https://github.com/andreamattavelli","followers_url":"https://api.github.com/users/andreamattavelli/followers","following_url":"https://api.github.com/users/andreamattavelli/following{/other_user}","gists_url":"https://api.github.com/users/andreamattavelli/gists{/gist_id}","starred_url":"https://api.github.com/users/andreamattavelli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreamattavelli/subscriptions","organizations_url":"https://api.github.com/users/andreamattavelli/orgs","repos_url":"https://api.github.com/users/andreamattavelli/repos","events_url":"https://api.github.com/users/andreamattavelli/events{/privacy}","received_events_url":"https://api.github.com/users/andreamattavelli/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-05-14T11:36:53Z","updated_at":"2016-05-16T17:25:34Z","closed_at":null,"body":"STP now requires CMake 2.8.8 to build.\r\nWe should decide if we want to either update TravisCI with the new dependency, or use a predefined version of STP."},"comment":{"url":"https://api.github.com/repos/klee/klee/issues/comments/219487870","html_url":"https://github.com/klee/klee/issues/390#issuecomment-219487870","issue_url":"https://api.github.com/repos/klee/klee/issues/390","id":219487870,"user":{"login":"ccadar","id":5022313,"avatar_url":"https://avatars.githubusercontent.com/u/5022313?v=3","gravatar_id":"","url":"https://api.github.com/users/ccadar","html_url":"https://github.com/ccadar","followers_url":"https://api.github.com/users/ccadar/followers","following_url":"https://api.github.com/users/ccadar/following{/other_user}","gists_url":"https://api.github.com/users/ccadar/gists{/gist_id}","starred_url":"https://api.github.com/users/ccadar/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ccadar/subscriptions","organizations_url":"https://api.github.com/users/ccadar/orgs","repos_url":"https://api.github.com/users/ccadar/repos","events_url":"https://api.github.com/users/ccadar/events{/privacy}","received_events_url":"https://api.github.com/users/ccadar/received_events","type":"User","site_admin":false},"created_at":"2016-05-16T17:25:34Z","updated_at":"2016-05-16T17:25:34Z","body":"@delcypher Perhaps you have time to do this, as you have most experience with Travis?  Thanks!"}}