{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/157","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/157/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/157/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/157/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/157","id":184241621,"number":157,"title":"Add new concurreny benchmarks from CSeq team","user":{"login":"trucnguyenlam","id":1043997,"avatar_url":"https://avatars.githubusercontent.com/u/1043997?v=3","gravatar_id":"","url":"https://api.github.com/users/trucnguyenlam","html_url":"https://github.com/trucnguyenlam","followers_url":"https://api.github.com/users/trucnguyenlam/followers","following_url":"https://api.github.com/users/trucnguyenlam/following{/other_user}","gists_url":"https://api.github.com/users/trucnguyenlam/gists{/gist_id}","starred_url":"https://api.github.com/users/trucnguyenlam/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/trucnguyenlam/subscriptions","organizations_url":"https://api.github.com/users/trucnguyenlam/orgs","repos_url":"https://api.github.com/users/trucnguyenlam/repos","events_url":"https://api.github.com/users/trucnguyenlam/events{/privacy}","received_events_url":"https://api.github.com/users/trucnguyenlam/received_events","type":"User","site_admin":false},"labels":[{"id":472360169,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/labels/new%20benchmarks","name":"new benchmarks","color":"c2e0c6","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2016-10-20T14:14:21Z","updated_at":"2016-11-17T10:47:02Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/pulls/157","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/157","diff_url":"https://github.com/sosy-lab/sv-benchmarks/pull/157.diff","patch_url":"https://github.com/sosy-lab/sv-benchmarks/pull/157.patch"},"body":"Hi,\n\nI have made a new pull request again (under SV-COMP admin suggestions), hopefully this time these will be accepted.\n\nMany thanks,\nTruc\n"},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/261215361","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/157#issuecomment-261215361","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/157","id":261215361,"user":{"login":"trucnguyenlam","id":1043997,"avatar_url":"https://avatars.githubusercontent.com/u/1043997?v=3","gravatar_id":"","url":"https://api.github.com/users/trucnguyenlam","html_url":"https://github.com/trucnguyenlam","followers_url":"https://api.github.com/users/trucnguyenlam/followers","following_url":"https://api.github.com/users/trucnguyenlam/following{/other_user}","gists_url":"https://api.github.com/users/trucnguyenlam/gists{/gist_id}","starred_url":"https://api.github.com/users/trucnguyenlam/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/trucnguyenlam/subscriptions","organizations_url":"https://api.github.com/users/trucnguyenlam/orgs","repos_url":"https://api.github.com/users/trucnguyenlam/repos","events_url":"https://api.github.com/users/trucnguyenlam/events{/privacy}","received_events_url":"https://api.github.com/users/trucnguyenlam/received_events","type":"User","site_admin":false},"created_at":"2016-11-17T10:47:02Z","updated_at":"2016-11-17T10:47:02Z","body":"Hi, \r\n\r\nI do not know whether my benchmarks are accepted or not. Could you please tell me what can be fixed in order to make it work?\r\n\r\nMany thanks,\r\nTruc\r\n\r\n"}}
{"actor":{"display_login":"trucnguyenlam"}}