{"action":"created","issue":{"url":"https://api.github.com/repos/gap-system/gap/issues/2722","repository_url":"https://api.github.com/repos/gap-system/gap","labels_url":"https://api.github.com/repos/gap-system/gap/issues/2722/labels{/name}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/2722/comments","events_url":"https://api.github.com/repos/gap-system/gap/issues/2722/events","html_url":"https://github.com/gap-system/gap/pull/2722","id":352498413,"node_id":"MDExOlB1bGxSZXF1ZXN0MjA5Nzk0NTQz","number":2722,"title":"kernel: rename TRY_READ -> TRY_IF_NO_ERROR","user":{"login":"fingolfin","id":241512,"node_id":"MDQ6VXNlcjI0MTUxMg==","avatar_url":"https://avatars2.githubusercontent.com/u/241512?v=4","gravatar_id":"","url":"https://api.github.com/users/fingolfin","html_url":"https://github.com/fingolfin","followers_url":"https://api.github.com/users/fingolfin/followers","following_url":"https://api.github.com/users/fingolfin/following{/other_user}","gists_url":"https://api.github.com/users/fingolfin/gists{/gist_id}","starred_url":"https://api.github.com/users/fingolfin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fingolfin/subscriptions","organizations_url":"https://api.github.com/users/fingolfin/orgs","repos_url":"https://api.github.com/users/fingolfin/repos","events_url":"https://api.github.com/users/fingolfin/events{/privacy}","received_events_url":"https://api.github.com/users/fingolfin/received_events","type":"User","site_admin":false},"labels":[{"id":689248488,"node_id":"MDU6TGFiZWw2ODkyNDg0ODg=","url":"https://api.github.com/repos/gap-system/gap/labels/release%20notes:%20not%20needed","name":"release notes: not needed","color":"86d7e8","default":false},{"id":577472995,"node_id":"MDU6TGFiZWw1Nzc0NzI5OTU=","url":"https://api.github.com/repos/gap-system/gap/labels/topic:%20kernel","name":"topic: kernel","color":"c0d9f7","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-08-21T11:31:22Z","updated_at":"2018-08-21T16:07:08Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/2722","html_url":"https://github.com/gap-system/gap/pull/2722","diff_url":"https://github.com/gap-system/gap/pull/2722.diff","patch_url":"https://github.com/gap-system/gap/pull/2722.patch"},"body":"... and also CATCH_READ_ERROR -> CATCH_ERROR.\r\n\r\nThis name is perhaps a little bit clearer, as it emphasizes that nothing is\r\ndone if nrError is already non-zero.\r\n\r\nAlso, at least in current use, there is little or nothing reader specific\r\nabout this, other than that it uses `ReadJmpError` (which is also used by lots\r\nof non-reader code)."},"comment":{"url":"https://api.github.com/repos/gap-system/gap/issues/comments/414729410","html_url":"https://github.com/gap-system/gap/pull/2722#issuecomment-414729410","issue_url":"https://api.github.com/repos/gap-system/gap/issues/2722","id":414729410,"node_id":"MDEyOklzc3VlQ29tbWVudDQxNDcyOTQxMA==","user":{"login":"codecov[bot]","id":22429695,"node_id":"MDM6Qm90MjI0Mjk2OTU=","avatar_url":"https://avatars2.githubusercontent.com/in/254?v=4","gravatar_id":"","url":"https://api.github.com/users/codecov%5Bbot%5D","html_url":"https://github.com/apps/codecov","followers_url":"https://api.github.com/users/codecov%5Bbot%5D/followers","following_url":"https://api.github.com/users/codecov%5Bbot%5D/following{/other_user}","gists_url":"https://api.github.com/users/codecov%5Bbot%5D/gists{/gist_id}","starred_url":"https://api.github.com/users/codecov%5Bbot%5D/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/codecov%5Bbot%5D/subscriptions","organizations_url":"https://api.github.com/users/codecov%5Bbot%5D/orgs","repos_url":"https://api.github.com/users/codecov%5Bbot%5D/repos","events_url":"https://api.github.com/users/codecov%5Bbot%5D/events{/privacy}","received_events_url":"https://api.github.com/users/codecov%5Bbot%5D/received_events","type":"Bot","site_admin":false},"created_at":"2018-08-21T16:07:08Z","updated_at":"2018-08-21T16:07:08Z","author_association":"NONE","body":"# [Codecov](https://codecov.io/gh/gap-system/gap/pull/2722?src=pr&el=h1) Report\n> Merging [#2722](https://codecov.io/gh/gap-system/gap/pull/2722?src=pr&el=desc) into [master](https://codecov.io/gh/gap-system/gap/commit/950f7b51406886994e324aa8631644014669aabc?src=pr&el=desc) will **not change** coverage.\n> The diff coverage is `98.16%`.\n\n\n```diff\n@@           Coverage Diff           @@\n##           master    #2722   +/-   ##\n=======================================\n  Coverage   75.75%   75.75%           \n=======================================\n  Files         478      478           \n  Lines      241495   241495           \n=======================================\n  Hits       182940   182940           \n  Misses      58555    58555\n```\n\n\n| [Impacted Files](https://codecov.io/gh/gap-system/gap/pull/2722?src=pr&el=tree) | Coverage Δ | |\n|---|---|---|\n| [src/hpc/threadapi.c](https://codecov.io/gh/gap-system/gap/pull/2722/diff?src=pr&el=tree#diff-c3JjL2hwYy90aHJlYWRhcGkuYw==) | `43.59% <0%> (ø)` | :arrow_up: |\n| [src/read.c](https://codecov.io/gh/gap-system/gap/pull/2722/diff?src=pr&el=tree#diff-c3JjL3JlYWQuYw==) | `94.93% <100%> (ø)` | :arrow_up: |\n| [src/gap.c](https://codecov.io/gh/gap-system/gap/pull/2722/diff?src=pr&el=tree#diff-c3JjL2dhcC5j) | `85.25% <100%> (ø)` | :arrow_up: |\n| [src/streams.c](https://codecov.io/gh/gap-system/gap/pull/2722/diff?src=pr&el=tree#diff-c3JjL3N0cmVhbXMuYw==) | `77.25% <100%> (ø)` | :arrow_up: |\n"}}
{"actor":{"display_login":"codecov"}}