{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":118390302,"defaultBranch":"master","name":"coq-robot","ownerLogin":"affeldt-aist","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-01-22T01:23:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33154536?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1713912936.0","currentOid":""},"activityList":{"items":[{"before":"9e6fb76b9de4e4f4d53559645d6661874b541b55","after":"f6c7abf544e6466a4d33cfb45a14978970cd2257","ref":"refs/heads/mc2","pushedAt":"2024-04-25T08:43:15.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":"complete!","shortMessageHtmlLink":"complete!"}},{"before":"8b2d59518214070a0fb976143afa1ddbaaced4f5","after":"9e6fb76b9de4e4f4d53559645d6661874b541b55","ref":"refs/heads/mc2","pushedAt":"2024-04-25T03:28:27.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":"3 files left","shortMessageHtmlLink":"3 files left"}},{"before":"d197efbf318a1041b93ac3b5b84da5b740aa8838","after":"8b2d59518214070a0fb976143afa1ddbaaced4f5","ref":"refs/heads/mc2","pushedAt":"2024-04-24T11:16:23.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":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"d197efbf318a1041b93ac3b5b84da5b740aa8838","ref":"refs/heads/mc2","pushedAt":"2024-04-23T22:55:36.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":"start porting to MathComp 2","shortMessageHtmlLink":"start porting to MathComp 2"}},{"before":"bfbc3d8e76fc8ba22bfa0a4711228b93ee501635","after":null,"ref":"refs/heads/release_0.2","pushedAt":"2024-01-01T13:50:35.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":"5c7b536dc17748f3a397995f04cec7f99bca402b","after":"0601d3333acc05f28ffc53beeaa169d9d98945a7","ref":"refs/heads/master","pushedAt":"2024-01-01T13:50:31.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 #38 from affeldt-aist/release_0.2\n\nupdate","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2061411242\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/coq-robot/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/coq-robot/pull/38/hovercard\" href=\"https://github.com/affeldt-aist/coq-robot/pull/38\">#38</a> from affeldt-aist/release_0.2"}},{"before":"c855803da811e31cd7aa7ccd1c37a4e1409fc3b8","after":"bfbc3d8e76fc8ba22bfa0a4711228b93ee501635","ref":"refs/heads/release_0.2","pushedAt":"2024-01-01T13:24:48.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":"compat with mathcomp >= 1.16","shortMessageHtmlLink":"compat with mathcomp &gt;= 1.16"}},{"before":"2a5790d609399bfdb68c87045b67c6e1b370c544","after":"c855803da811e31cd7aa7ccd1c37a4e1409fc3b8","ref":"refs/heads/release_0.2","pushedAt":"2024-01-01T13:08:23.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":"fix CI","shortMessageHtmlLink":"fix CI"}},{"before":"b1e910ba0de6bbbe8f2f9f28d7188a2a6e728a31","after":"2a5790d609399bfdb68c87045b67c6e1b370c544","ref":"refs/heads/release_0.2","pushedAt":"2024-01-01T13:04:02.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":"compat with mathcomp 1.16","shortMessageHtmlLink":"compat with mathcomp 1.16"}},{"before":"5c7b536dc17748f3a397995f04cec7f99bca402b","after":"b1e910ba0de6bbbe8f2f9f28d7188a2a6e728a31","ref":"refs/heads/release_0.2","pushedAt":"2024-01-01T08:27:23.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":"update","shortMessageHtmlLink":"update"}},{"before":null,"after":"5c7b536dc17748f3a397995f04cec7f99bca402b","ref":"refs/heads/release_0.2","pushedAt":"2024-01-01T07:09:43.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 #37 from thery/mathcomp1_15\n\nwork with mathcomp 1.15","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1315511305\" data-permission-text=\"Title is private\" data-url=\"https://github.com/affeldt-aist/coq-robot/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/affeldt-aist/coq-robot/pull/37/hovercard\" href=\"https://github.com/affeldt-aist/coq-robot/pull/37\">#37</a> from thery/mathcomp1_15"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOe906gA","startCursor":null,"endCursor":null}},"title":"Activity · affeldt-aist/coq-robot"}