payload: {"action":"created","issue":{"url":"https://api.github.com/repos/homalg-project/CAP_project/issues/310","repository_url":"https://api.github.com/repos/homalg-project/CAP_project","labels_url":"https://api.github.com/repos/homalg-project/CAP_project/issues/310/labels{/name}","comments_url":"https://api.github.com/repos/homalg-project/CAP_project/issues/310/comments","events_url":"https://api.github.com/repos/homalg-project/CAP_project/issues/310/events","html_url":"https://github.com/homalg-project/CAP_project/pull/310","id":430498165,"node_id":"MDExOlB1bGxSZXF1ZXN0MjY4MzcyNzk5","number":310,"title":"change TestPentagonIdentityForAllQuadruplesInList","user":{"login":"heiderich","id":3432497,"node_id":"MDQ6VXNlcjM0MzI0OTc=","avatar_url":"https://avatars3.githubusercontent.com/u/3432497?v=4","gravatar_id":"","url":"https://api.github.com/users/heiderich","html_url":"https://github.com/heiderich","followers_url":"https://api.github.com/users/heiderich/followers","following_url":"https://api.github.com/users/heiderich/following{/other_user}","gists_url":"https://api.github.com/users/heiderich/gists{/gist_id}","starred_url":"https://api.github.com/users/heiderich/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/heiderich/subscriptions","organizations_url":"https://api.github.com/users/heiderich/orgs","repos_url":"https://api.github.com/users/heiderich/repos","events_url":"https://api.github.com/users/heiderich/events{/privacy}","received_events_url":"https://api.github.com/users/heiderich/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2019-04-08T14:55:14Z","updated_at":"2019-04-08T14:58:55Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/homalg-project/CAP_project/pulls/310","html_url":"https://github.com/homalg-project/CAP_project/pull/310","diff_url":"https://github.com/homalg-project/CAP_project/pull/310.diff","patch_url":"https://github.com/homalg-project/CAP_project/pull/310.patch"},"body":"return `true` or `false` as specified by the documentation of this\r\noperation.\r\n\r\nAlso introduce a new info class \"InfoGroupRepresentationsForCAP\"\r\nand use `Info` instead of `Print` to print debug information."},"comment":{"url":"https://api.github.com/repos/homalg-project/CAP_project/issues/comments/480868421","html_url":"https://github.com/homalg-project/CAP_project/pull/310#issuecomment-480868421","issue_url":"https://api.github.com/repos/homalg-project/CAP_project/issues/310","id":480868421,"node_id":"MDEyOklzc3VlQ29tbWVudDQ4MDg2ODQyMQ==","user":{"login":"codecov-io","id":8655789,"node_id":"MDQ6VXNlcjg2NTU3ODk=","avatar_url":"https://avatars0.githubusercontent.com/u/8655789?v=4","gravatar_id":"","url":"https://api.github.com/users/codecov-io","html_url":"https://github.com/codecov-io","followers_url":"https://api.github.com/users/codecov-io/followers","following_url":"https://api.github.com/users/codecov-io/following{/other_user}","gists_url":"https://api.github.com/users/codecov-io/gists{/gist_id}","starred_url":"https://api.github.com/users/codecov-io/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/codecov-io/subscriptions","organizations_url":"https://api.github.com/users/codecov-io/orgs","repos_url":"https://api.github.com/users/codecov-io/repos","events_url":"https://api.github.com/users/codecov-io/events{/privacy}","received_events_url":"https://api.github.com/users/codecov-io/received_events","type":"User","site_admin":false},"created_at":"2019-04-08T14:58:55Z","updated_at":"2019-04-08T14:58:55Z","author_association":"NONE","body":"# [Codecov](https://codecov.io/gh/homalg-project/CAP_project/pull/310?src=pr&el=h1) Report\n> Merging [#310](https://codecov.io/gh/homalg-project/CAP_project/pull/310?src=pr&el=desc) into [master](https://codecov.io/gh/homalg-project/CAP_project/commit/a2d7981d54742bfb161dbda4f26cc367cf88ea4e?src=pr&el=desc) will **not change** coverage.\n> The diff coverage is `n/a`.\n\n[![Impacted file tree graph](https://codecov.io/gh/homalg-project/CAP_project/pull/310/graphs/tree.svg?width=650&token=XvCNSziRF7&height=150&src=pr)](https://codecov.io/gh/homalg-project/CAP_project/pull/310?src=pr&el=tree)\n\n```diff\n@@          Coverage Diff           @@\n##           master    #310   +/-   ##\n======================================\n  Coverage    46.5%   46.5%           \n======================================\n  Files          71      71           \n  Lines       10843   10843           \n======================================\n  Hits         5043    5043           \n  Misses       5800    5800\n```\n\n\n\n------\n\n[Continue to review full report at Codecov](https://codecov.io/gh/homalg-project/CAP_project/pull/310?src=pr&el=continue).\n> **Legend** - [Click here to learn more](https://docs.codecov.io/docs/codecov-delta)\n> `Δ = absolute <relative> (impact)`, `ø = not affected`, `? = missing data`\n> Powered by [Codecov](https://codecov.io/gh/homalg-project/CAP_project/pull/310?src=pr&el=footer). Last update [a2d7981...e30e8ff](https://codecov.io/gh/homalg-project/CAP_project/pull/310?src=pr&el=lastupdated). Read the [comment docs](https://docs.codecov.io/docs/pull-request-comments).\n"}}
other: {"actor":{"display_login":"codecov-io"}}