{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":96941480,"defaultBranch":"rv32i","name":"kami","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-11T22:11:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1680301458.0","currentOid":""},"activityList":{"items":[{"before":"c96ee95fe7d079f857ec9c62a228df4d859531a1","after":"de880ce21dc927b050e33e803c903238978f8021","ref":"refs/heads/rv32i","pushedAt":"2024-02-29T18:00:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"adapt to coq/coq#18730","shortMessageHtmlLink":"adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2160014959\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18730\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18730/hovercard\" href=\"https://github.com/coq/coq/pull/18730\">coq/coq#18730</a>"}},{"before":"a5f3efe06d28cdb92abfa8eee2eebc1f34b6869e","after":"c96ee95fe7d079f857ec9c62a228df4d859531a1","ref":"refs/heads/rv32i","pushedAt":"2023-10-18T17:05:44.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"Merge pull request #37 from Villetaneuse/rm_arith_files\n\nAdapt w.r.t Coq#18164","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1949188262\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/kami/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/kami/pull/37/hovercard\" href=\"https://github.com/mit-plv/kami/pull/37\">#37</a> from Villetaneuse/rm_arith_files"}},{"before":"cb9e8bf8ed7faf79de6af828d6c587ffbf2b6ca0","after":"a5f3efe06d28cdb92abfa8eee2eebc1f34b6869e","ref":"refs/heads/rv32i","pushedAt":"2023-07-05T15:07:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"Merge pull request #35 from SkySkimmer/intuit-auto\n\nStop using auto with * in intuition","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1789411029\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/kami/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/kami/pull/35/hovercard\" href=\"https://github.com/mit-plv/kami/pull/35\">#35</a> from SkySkimmer/intuit-auto"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAECQO0TgA","startCursor":null,"endCursor":null}},"title":"Activity · mit-plv/kami"}