{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/evm-semantics/issues/66","repository_url":"https://api.github.com/repos/kframework/evm-semantics","labels_url":"https://api.github.com/repos/kframework/evm-semantics/issues/66/labels{/name}","comments_url":"https://api.github.com/repos/kframework/evm-semantics/issues/66/comments","events_url":"https://api.github.com/repos/kframework/evm-semantics/issues/66/events","html_url":"https://github.com/kframework/evm-semantics/pull/66","id":242866461,"number":66,"title":"Develop","user":{"login":"nishantjr","id":634885,"avatar_url":"https://avatars5.githubusercontent.com/u/634885?v=4","gravatar_id":"","url":"https://api.github.com/users/nishantjr","html_url":"https://github.com/nishantjr","followers_url":"https://api.github.com/users/nishantjr/followers","following_url":"https://api.github.com/users/nishantjr/following{/other_user}","gists_url":"https://api.github.com/users/nishantjr/gists{/gist_id}","starred_url":"https://api.github.com/users/nishantjr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nishantjr/subscriptions","organizations_url":"https://api.github.com/users/nishantjr/orgs","repos_url":"https://api.github.com/users/nishantjr/repos","events_url":"https://api.github.com/users/nishantjr/events{/privacy}","received_events_url":"https://api.github.com/users/nishantjr/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2017-07-14T00:32:03Z","updated_at":"2017-07-14T21:04:48Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/kframework/evm-semantics/pulls/66","html_url":"https://github.com/kframework/evm-semantics/pull/66","diff_url":"https://github.com/kframework/evm-semantics/pull/66.diff","patch_url":"https://github.com/kframework/evm-semantics/pull/66.patch"},"body":"This is to get the changes to Build, and what we currently have in verification through.\r\n\r\nWe've not been able to merge for a while, because of how long tests take to run, and before things get out of hand, I'd like this in."},"comment":{"url":"https://api.github.com/repos/kframework/evm-semantics/issues/comments/315467468","html_url":"https://github.com/kframework/evm-semantics/pull/66#issuecomment-315467468","issue_url":"https://api.github.com/repos/kframework/evm-semantics/issues/66","id":315467468,"user":{"login":"ehildenb","id":12721972,"avatar_url":"https://avatars4.githubusercontent.com/u/12721972?v=4","gravatar_id":"","url":"https://api.github.com/users/ehildenb","html_url":"https://github.com/ehildenb","followers_url":"https://api.github.com/users/ehildenb/followers","following_url":"https://api.github.com/users/ehildenb/following{/other_user}","gists_url":"https://api.github.com/users/ehildenb/gists{/gist_id}","starred_url":"https://api.github.com/users/ehildenb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ehildenb/subscriptions","organizations_url":"https://api.github.com/users/ehildenb/orgs","repos_url":"https://api.github.com/users/ehildenb/repos","events_url":"https://api.github.com/users/ehildenb/events{/privacy}","received_events_url":"https://api.github.com/users/ehildenb/received_events","type":"User","site_admin":false},"created_at":"2017-07-14T21:04:48Z","updated_at":"2017-07-14T21:04:48Z","body":"Jenkins: test this please"}}
{"actor":{"display_login":"ehildenb"}}