{"action":"created","issue":{"url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/67","repository_url":"https://api.github.com/repos/ultimate-pa/ultimate","labels_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/67/labels{/name}","comments_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/67/comments","events_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/67/events","html_url":"https://github.com/ultimate-pa/ultimate/issues/67","id":182262411,"number":67,"title":"Fix examples\\CToBoogieTranslation\\implicitCastFloatingPoint.c","user":{"login":"danieldietsch","id":3883391,"avatar_url":"https://avatars.githubusercontent.com/u/3883391?v=3","gravatar_id":"","url":"https://api.github.com/users/danieldietsch","html_url":"https://github.com/danieldietsch","followers_url":"https://api.github.com/users/danieldietsch/followers","following_url":"https://api.github.com/users/danieldietsch/following{/other_user}","gists_url":"https://api.github.com/users/danieldietsch/gists{/gist_id}","starred_url":"https://api.github.com/users/danieldietsch/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danieldietsch/subscriptions","organizations_url":"https://api.github.com/users/danieldietsch/orgs","repos_url":"https://api.github.com/users/danieldietsch/repos","events_url":"https://api.github.com/users/danieldietsch/events{/privacy}","received_events_url":"https://api.github.com/users/danieldietsch/received_events","type":"User","site_admin":false},"labels":[{"id":439624165,"url":"https://api.github.com/repos/ultimate-pa/ultimate/labels/C%20translation","name":"C translation","color":"0e8a16","default":false},{"id":441268306,"url":"https://api.github.com/repos/ultimate-pa/ultimate/labels/ready","name":"ready","color":"ededed","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-10-11T13:22:37Z","updated_at":"2016-11-08T17:31:54Z","closed_at":null,"body":null},"comment":{"url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/comments/259203325","html_url":"https://github.com/ultimate-pa/ultimate/issues/67#issuecomment-259203325","issue_url":"https://api.github.com/repos/ultimate-pa/ultimate/issues/67","id":259203325,"user":{"login":"alexandernutz","id":14171425,"avatar_url":"https://avatars.githubusercontent.com/u/14171425?v=3","gravatar_id":"","url":"https://api.github.com/users/alexandernutz","html_url":"https://github.com/alexandernutz","followers_url":"https://api.github.com/users/alexandernutz/followers","following_url":"https://api.github.com/users/alexandernutz/following{/other_user}","gists_url":"https://api.github.com/users/alexandernutz/gists{/gist_id}","starred_url":"https://api.github.com/users/alexandernutz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alexandernutz/subscriptions","organizations_url":"https://api.github.com/users/alexandernutz/orgs","repos_url":"https://api.github.com/users/alexandernutz/repos","events_url":"https://api.github.com/users/alexandernutz/events{/privacy}","received_events_url":"https://api.github.com/users/alexandernutz/received_events","type":"User","site_admin":false},"created_at":"2016-11-08T17:31:54Z","updated_at":"2016-11-08T17:31:54Z","body":"To me the output of the translation seem ok, here. \r\nThe crash happens during verification and I do not fully understand the reason.\r\n --> postponing this"}}
{"actor":{"display_login":"alexandernutz"}}