{"action":"closed","issue":{"url":"https://api.github.com/repos/CVC4/CVC4/issues/339","repository_url":"https://api.github.com/repos/CVC4/CVC4","labels_url":"https://api.github.com/repos/CVC4/CVC4/issues/339/labels{/name}","comments_url":"https://api.github.com/repos/CVC4/CVC4/issues/339/comments","events_url":"https://api.github.com/repos/CVC4/CVC4/issues/339/events","html_url":"https://github.com/CVC4/CVC4/issues/339","id":251389488,"number":339,"title":"--with-build=competition should turn on --no-checking (Bugzilla #119)","user":{"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},"labels":[{"id":21411288,"url":"https://api.github.com/repos/CVC4/CVC4/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-08-19T01:00:06Z","updated_at":"2017-08-19T01:00:07Z","closed_at":"2017-08-19T01:00:07Z","body":"**Imported from Bugzilla**\nReporter: *Morgan Deters*\nStatus: *RESOLVED*\nSeverity: *enhancement*\nAssigned to: *Morgan Deters*\nComponent: *{Internals} Driver*\nMilestone: *---*\nVersion: *master*\nPlatform: *All*\nOS: *All*\n\nOn 2010-05-04 10:58:19 -0700, Morgan Deters wrote:\n> \\-\\-no\\-checking command\\-line option should be implicit in competition builds.\n\nOn 2010-05-04 17:58:24 -0700, Christopher Conway wrote:\n> Fixed in r460.\n\n"}}
{"actor":{"display_login":"mpreiner"}}