{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/6939","repository_url":"https://api.github.com/repos/ocaml/opam-repository","labels_url":"https://api.github.com/repos/ocaml/opam-repository/issues/6939/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam-repository/issues/6939/comments","events_url":"https://api.github.com/repos/ocaml/opam-repository/issues/6939/events","html_url":"https://github.com/ocaml/opam-repository/pull/6939","id":164674560,"number":6939,"title":"Add why3 0.87.1","user":{"login":"gasche","id":426238,"avatar_url":"https://avatars.githubusercontent.com/u/426238?v=3","gravatar_id":"","url":"https://api.github.com/users/gasche","html_url":"https://github.com/gasche","followers_url":"https://api.github.com/users/gasche/followers","following_url":"https://api.github.com/users/gasche/following{/other_user}","gists_url":"https://api.github.com/users/gasche/gists{/gist_id}","starred_url":"https://api.github.com/users/gasche/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gasche/subscriptions","organizations_url":"https://api.github.com/users/gasche/orgs","repos_url":"https://api.github.com/users/gasche/repos","events_url":"https://api.github.com/users/gasche/events{/privacy}","received_events_url":"https://api.github.com/users/gasche/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-07-09T16:35:05Z","updated_at":"2016-07-09T17:02:58Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ocaml/opam-repository/pulls/6939","html_url":"https://github.com/ocaml/opam-repository/pull/6939","diff_url":"https://github.com/ocaml/opam-repository/pull/6939.diff","patch_url":"https://github.com/ocaml/opam-repository/pull/6939.patch"},"body":"Parallel build is disabled as it occasionally breaks. (Gabriel Scherer)\r\n\r\nSupersedes #6702 -- the version with parallel build enabled."},"comment":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/comments/231544360","html_url":"https://github.com/ocaml/opam-repository/pull/6939#issuecomment-231544360","issue_url":"https://api.github.com/repos/ocaml/opam-repository/issues/6939","id":231544360,"user":{"login":"camelus","id":12823467,"avatar_url":"https://avatars.githubusercontent.com/u/12823467?v=3","gravatar_id":"","url":"https://api.github.com/users/camelus","html_url":"https://github.com/camelus","followers_url":"https://api.github.com/users/camelus/followers","following_url":"https://api.github.com/users/camelus/following{/other_user}","gists_url":"https://api.github.com/users/camelus/gists{/gist_id}","starred_url":"https://api.github.com/users/camelus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/camelus/subscriptions","organizations_url":"https://api.github.com/users/camelus/orgs","repos_url":"https://api.github.com/users/camelus/repos","events_url":"https://api.github.com/users/camelus/events{/privacy}","received_events_url":"https://api.github.com/users/camelus/received_events","type":"User","site_admin":false},"created_at":"2016-07-09T17:02:58Z","updated_at":"2016-07-09T17:02:58Z","body":"##### :white_check_mark: All lint checks passed <small>c9c16ecd222819dae70578030ce71df4d3aaeb19</small>\n\n* These packages passed lint tests: `why3-base.0.87.1`, `why3.0.87.1`\n\n\n---\n\n\n##### :white_check_mark: Installability check (5228 &rarr; 5230)\n\n* new installable packages (2): `why3.0.87.1` `why3-base.0.87.1`\n"}}
{"actor":{"display_login":"camelus"}}