{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/8002","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/8002/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/8002/comments","events_url":"https://api.github.com/repos/coq/coq/issues/8002/events","html_url":"https://github.com/coq/coq/pull/8002","id":338581043,"node_id":"MDExOlB1bGxSZXF1ZXN0MTk5NDc1MTIw","number":8002,"title":"make-both-single-timing-files: fix --sort-by=diff","user":{"login":"RalfJung","id":330628,"node_id":"MDQ6VXNlcjMzMDYyOA==","avatar_url":"https://avatars1.githubusercontent.com/u/330628?v=4","gravatar_id":"","url":"https://api.github.com/users/RalfJung","html_url":"https://github.com/RalfJung","followers_url":"https://api.github.com/users/RalfJung/followers","following_url":"https://api.github.com/users/RalfJung/following{/other_user}","gists_url":"https://api.github.com/users/RalfJung/gists{/gist_id}","starred_url":"https://api.github.com/users/RalfJung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RalfJung/subscriptions","organizations_url":"https://api.github.com/users/RalfJung/orgs","repos_url":"https://api.github.com/users/RalfJung/repos","events_url":"https://api.github.com/users/RalfJung/events{/privacy}","received_events_url":"https://api.github.com/users/RalfJung/received_events","type":"User","site_admin":false},"labels":[{"id":485985650,"node_id":"MDU6TGFiZWw0ODU5ODU2NTA=","url":"https://api.github.com/repos/coq/coq/labels/kind:%20fix","name":"kind: fix","color":"d93f0b","default":false},{"id":723364180,"node_id":"MDU6TGFiZWw3MjMzNjQxODA=","url":"https://api.github.com/repos/coq/coq/labels/part:%20tools","name":"part: tools","color":"dddddd","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-07-05T13:44:04Z","updated_at":"2018-07-06T21:53:01Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/coq/coq/pulls/8002","html_url":"https://github.com/coq/coq/pull/8002","diff_url":"https://github.com/coq/coq/pull/8002.diff","patch_url":"https://github.com/coq/coq/pull/8002.patch"},"body":"<!-- Thank you for your contribution.\r\n     Make sure you read the contributing guide and fill this template. -->\r\n\r\n\r\n<!-- Keep what applies -->\r\n**Kind:** bug fix.\r\n\r\nPreviously, \"sorted\" output could look like this:\r\n```\r\nAfter     | Code                                                          | Before    || Change    | % Change \r\n--------------------------------------------------------------------------------------------------------------\r\n3m23.75s  | Total                                                         | 2m38.35s  || +0m45.40s | +28.67%  \r\n--------------------------------------------------------------------------------------------------------------\r\n0m32.08s  | Chars 60026 - 60035 [End~code.]                               | 0m23.932s || +0m08.14s | +34.04%  \r\n0m19.326s | Chars 60021 - 60025 [Qed.]                                    | 0m15.875s || +0m03.45s | +21.73%  \r\n0m04.327s | Chars 44373 - 44377 [Qed.]                                    | 0m03.119s || +0m01.20s | +38.73%  \r\n0m06.806s | Chars 19856 - 19860 [Qed.]                                    | 0m05.006s || +0m01.79s | +35.95%  \r\n0m07.917s | Chars 09831 - 10013 [(constructor;~~~solve_proper_c...]       | 0m05.942s || +0m01.97s | +33.23%  \r\n0m04.843s | Chars 32121 - 32125 [Qed.]                                    | 0m03.479s || +0m01.36s | +39.20%  \r\n0m04.099s | Chars 09048 - 09052 [Qed.]                                    | 0m02.538s || +0m01.56s | +61.50%  \r\n0m04.826s | Chars 48906 - 48910 [Qed.]                                    | 0m03.514s || +0m01.31s | +37.33%  \r\n0m03.844s | Chars 26074 - 26078 [Qed.]                                    | 0m02.719s || +0m01.12s | +41.37%  \r\n0m00.003s | Chars 15737 - 15747 [iModIntro.]                              | 0m00.001s || +0m00.00s | +200.00% \r\n0m00.074s | Chars 31688 - 31816 [(<ssreflect_plugin::ssrtclseq@...]       | 0m00.12s  || -0m00.04s | -38.33%  \r\n0m00.107s | Chars 46605 - 46611 [wp_op.]                                  | 0m00.072s || +0m00.03s | +48.61%  \r\n0m00.s    | Chars 47297 - 47298 [{]                                       | 0m00.s    || +0m00.00s | N/A\r\n```\r\nNot very sorted, if you ask me."},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/403155877","html_url":"https://github.com/coq/coq/pull/8002#issuecomment-403155877","issue_url":"https://api.github.com/repos/coq/coq/issues/8002","id":403155877,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMzE1NTg3Nw==","user":{"login":"RalfJung","id":330628,"node_id":"MDQ6VXNlcjMzMDYyOA==","avatar_url":"https://avatars1.githubusercontent.com/u/330628?v=4","gravatar_id":"","url":"https://api.github.com/users/RalfJung","html_url":"https://github.com/RalfJung","followers_url":"https://api.github.com/users/RalfJung/followers","following_url":"https://api.github.com/users/RalfJung/following{/other_user}","gists_url":"https://api.github.com/users/RalfJung/gists{/gist_id}","starred_url":"https://api.github.com/users/RalfJung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RalfJung/subscriptions","organizations_url":"https://api.github.com/users/RalfJung/orgs","repos_url":"https://api.github.com/users/RalfJung/repos","events_url":"https://api.github.com/users/RalfJung/events{/privacy}","received_events_url":"https://api.github.com/users/RalfJung/received_events","type":"User","site_admin":false},"created_at":"2018-07-06T21:53:01Z","updated_at":"2018-07-06T21:53:01Z","author_association":"CONTRIBUTOR","body":"Sure, I don't care strongly. Done."}}
{"actor":{"display_login":"RalfJung"}}