{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":137150618,"defaultBranch":"master","name":"seplog","ownerLogin":"affeldt-aist","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-06-13T02:14:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33154536?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1696498463.0","currentOid":""},"activityList":{"items":[{"before":"18c8822c91cc05026d2e5d3021067031cae5a98c","after":null,"ref":"refs/heads/warning_20230914","pushedAt":"2023-10-05T09:34:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"}},{"before":"5621c4339da747cc8ffffff9bfec2b7eb2b25ee1","after":null,"ref":"refs/heads/fix_20230915","pushedAt":"2023-10-05T09:34:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"}},{"before":"84917a987b0a2f03a340234a592d9f53a1c96002","after":"7b07198748b3403b72550fa9f98fbbff2743bef0","ref":"refs/heads/master","pushedAt":"2023-09-15T01:13:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"Merge pull request #3 from affeldt-aist/fix_20230915\n\nfix precedence levels","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1897545550\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/seplog/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/seplog/pull/3/hovercard\" href=\"https://github.com/affeldt-aist/seplog/pull/3\">#3</a> from affeldt-aist/fix_20230915"}},{"before":null,"after":"5621c4339da747cc8ffffff9bfec2b7eb2b25ee1","ref":"refs/heads/fix_20230915","pushedAt":"2023-09-15T01:12:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"fix precedence levels","shortMessageHtmlLink":"fix precedence levels"}},{"before":"67438cdd5b8ace6a597ba9626178b3b2aec2aba1","after":"84917a987b0a2f03a340234a592d9f53a1c96002","ref":"refs/heads/master","pushedAt":"2023-09-14T12:26:38.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"Merge pull request #2 from affeldt-aist/warning_20230914\n\ncompatible with Coq 8.16, 8.17, MathComp >= 1.15","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1896464780\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/seplog/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/seplog/pull/2/hovercard\" href=\"https://github.com/affeldt-aist/seplog/pull/2\">#2</a> from affeldt-aist/warning_20230914"}},{"before":"4ea8749de2868ba2c8d7a328c34fbfb2a6a6a75d","after":"18c8822c91cc05026d2e5d3021067031cae5a98c","ref":"refs/heads/warning_20230914","pushedAt":"2023-09-14T12:25:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"compatible with Coq 8.16, 8.17, MathComp >= 1.15","shortMessageHtmlLink":"compatible with Coq 8.16, 8.17, MathComp &gt;= 1.15"}},{"before":"67438cdd5b8ace6a597ba9626178b3b2aec2aba1","after":"4ea8749de2868ba2c8d7a328c34fbfb2a6a6a75d","ref":"refs/heads/warning_20230914","pushedAt":"2023-09-14T09:57:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"rm warnings","shortMessageHtmlLink":"rm warnings"}},{"before":null,"after":"67438cdd5b8ace6a597ba9626178b3b2aec2aba1","ref":"refs/heads/warning_20230914","pushedAt":"2023-09-14T09:55:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"Merge pull request #1 from garrigue/coq816\n\nFor Coq 8.16 and mathcomp 1.15","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1876906838\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/seplog/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/seplog/pull/1/hovercard\" href=\"https://github.com/affeldt-aist/seplog/pull/1\">#1</a> from garrigue/coq816"}},{"before":"b08516d34f5dedd0aafbe77d8ef270fa838e8f85","after":"67438cdd5b8ace6a597ba9626178b3b2aec2aba1","ref":"refs/heads/master","pushedAt":"2023-09-01T07:34:07.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"affeldt-aist","name":null,"path":"/affeldt-aist","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33154536?s=80&v=4"},"commit":{"message":"Merge pull request #1 from garrigue/coq816\n\nFor Coq 8.16 and mathcomp 1.15","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1876906838\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/seplog/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/seplog/pull/1/hovercard\" href=\"https://github.com/affeldt-aist/seplog/pull/1\">#1</a> from garrigue/coq816"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADkACB-QA","startCursor":null,"endCursor":null}},"title":"Activity · affeldt-aist/seplog"}