{"action":"opened","issue":{"url":"https://api.github.com/repos/CVC4/CVC4/issues/2010","repository_url":"https://api.github.com/repos/CVC4/CVC4","labels_url":"https://api.github.com/repos/CVC4/CVC4/issues/2010/labels{/name}","comments_url":"https://api.github.com/repos/CVC4/CVC4/issues/2010/comments","events_url":"https://api.github.com/repos/CVC4/CVC4/issues/2010/events","html_url":"https://github.com/CVC4/CVC4/issues/2010","id":327464986,"number":2010,"title":"Add CaDiCaL to SMT-COMP 2018 regression script for more logics","user":{"login":"4tXJ7f","id":1926228,"avatar_url":"https://avatars3.githubusercontent.com/u/1926228?v=4","gravatar_id":"","url":"https://api.github.com/users/4tXJ7f","html_url":"https://github.com/4tXJ7f","followers_url":"https://api.github.com/users/4tXJ7f/followers","following_url":"https://api.github.com/users/4tXJ7f/following{/other_user}","gists_url":"https://api.github.com/users/4tXJ7f/gists{/gist_id}","starred_url":"https://api.github.com/users/4tXJ7f/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/4tXJ7f/subscriptions","organizations_url":"https://api.github.com/users/4tXJ7f/orgs","repos_url":"https://api.github.com/users/4tXJ7f/repos","events_url":"https://api.github.com/users/4tXJ7f/events{/privacy}","received_events_url":"https://api.github.com/users/4tXJ7f/received_events","type":"User","site_admin":false},"labels":[{"id":21411288,"url":"https://api.github.com/repos/CVC4/CVC4/labels/feature","name":"feature","color":"C4F662","default":false},{"id":671891438,"url":"https://api.github.com/repos/CVC4/CVC4/labels/major","name":"major","color":"e99695","default":false}],"state":"open","locked":false,"assignee":{"login":"mpreiner","id":4653598,"avatar_url":"https://avatars0.githubusercontent.com/u/4653598?v=4","gravatar_id":"","url":"https://api.github.com/users/mpreiner","html_url":"https://github.com/mpreiner","followers_url":"https://api.github.com/users/mpreiner/followers","following_url":"https://api.github.com/users/mpreiner/following{/other_user}","gists_url":"https://api.github.com/users/mpreiner/gists{/gist_id}","starred_url":"https://api.github.com/users/mpreiner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mpreiner/subscriptions","organizations_url":"https://api.github.com/users/mpreiner/orgs","repos_url":"https://api.github.com/users/mpreiner/repos","events_url":"https://api.github.com/users/mpreiner/events{/privacy}","received_events_url":"https://api.github.com/users/mpreiner/received_events","type":"User","site_admin":false},"assignees":[{"login":"mpreiner","id":4653598,"avatar_url":"https://avatars0.githubusercontent.com/u/4653598?v=4","gravatar_id":"","url":"https://api.github.com/users/mpreiner","html_url":"https://github.com/mpreiner","followers_url":"https://api.github.com/users/mpreiner/followers","following_url":"https://api.github.com/users/mpreiner/following{/other_user}","gists_url":"https://api.github.com/users/mpreiner/gists{/gist_id}","starred_url":"https://api.github.com/users/mpreiner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mpreiner/subscriptions","organizations_url":"https://api.github.com/users/mpreiner/orgs","repos_url":"https://api.github.com/users/mpreiner/repos","events_url":"https://api.github.com/users/mpreiner/events{/privacy}","received_events_url":"https://api.github.com/users/mpreiner/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/CVC4/CVC4/milestones/12","html_url":"https://github.com/CVC4/CVC4/milestone/12","labels_url":"https://api.github.com/repos/CVC4/CVC4/milestones/12/labels","id":3382494,"number":12,"title":"SMT-COMP 2018","description":"","creator":{"login":"4tXJ7f","id":1926228,"avatar_url":"https://avatars3.githubusercontent.com/u/1926228?v=4","gravatar_id":"","url":"https://api.github.com/users/4tXJ7f","html_url":"https://github.com/4tXJ7f","followers_url":"https://api.github.com/users/4tXJ7f/followers","following_url":"https://api.github.com/users/4tXJ7f/following{/other_user}","gists_url":"https://api.github.com/users/4tXJ7f/gists{/gist_id}","starred_url":"https://api.github.com/users/4tXJ7f/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/4tXJ7f/subscriptions","organizations_url":"https://api.github.com/users/4tXJ7f/orgs","repos_url":"https://api.github.com/users/4tXJ7f/repos","events_url":"https://api.github.com/users/4tXJ7f/events{/privacy}","received_events_url":"https://api.github.com/users/4tXJ7f/received_events","type":"User","site_admin":false},"open_issues":8,"closed_issues":4,"state":"open","created_at":"2018-05-29T05:42:29Z","updated_at":"2018-05-29T19:57:26Z","due_on":"2018-06-10T07:00:00Z","closed_at":null},"comments":0,"created_at":"2018-05-29T19:57:25Z","updated_at":"2018-05-29T19:57:25Z","closed_at":null,"author_association":"MEMBER","body":""}}
{"actor":{"display_login":"4tXJ7f"}}