{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":500884030,"defaultBranch":"main","name":"HoTTEST-Summer-School","ownerLogin":"martinescardo","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-06-07T14:50:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4268051?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1697637097.0","currentOid":""},"activityList":{"items":[{"before":"b067016905cea49a8807e0069b208df2b65f1472","after":"288a369fc8806c8058e110df865ba5328c752c5c","ref":"refs/heads/gh-pages","pushedAt":"2023-10-18T13:58:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ martinescardo/HoTTEST-Summer-School@06dab2ca8ea0c760ac2dcb40006c280d619e5368 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/martinescardo/HoTTEST-Summer-School/commit/06dab2ca8ea0c760ac2dcb40006c280d619e5368/hovercard\" href=\"https://github.com/martinescardo/HoTTEST-Summer-School/commit/06dab2ca8ea0c760ac2dcb40006c280d619e5368\"><tt>06dab2c</tt></a> 🚀"}},{"before":"149882db58efc9d0c4975c4139e027d1d51db87c","after":"06dab2ca8ea0c760ac2dcb40006c280d619e5368","ref":"refs/heads/main","pushedAt":"2023-10-18T13:56:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"},"commit":{"message":"Support Agda 2.6.3 (#53)\n\n* Support Agda 2.6.3\r\n\r\nEverything needs to be marked `--cubical-compatible` since it all has\r\nto build together.\r\n\r\n`inc` was renamed to `inS` in Agda.\r\n\r\nMetavariables with undetermined sorts can't appear in the telescope\r\nof a clause matching on an indexed type.\r\n\r\n---------\r\n\r\nCo-authored-by: Amélia Liao <me@amelia.how>","shortMessageHtmlLink":"Support Agda 2.6.3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1949662039\" data-permission-text=\"Title is private\" data-url=\"https://github.com/martinescardo/HoTTEST-Summer-School/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/martinescardo/HoTTEST-Summer-School/pull/53/hovercard\" href=\"https://github.com/martinescardo/HoTTEST-Summer-School/pull/53\">#53</a>)"}},{"before":"8b308ef9d2f6ab6164d0b1396a1911b202a46406","after":null,"ref":"refs/heads/aliao/test-remove-rewrite","pushedAt":"2023-10-18T13:51:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"}},{"before":"85648d205e0b9f0acdca8597d33797a4a87094c5","after":null,"ref":"refs/heads/patching-Agda-readme","pushedAt":"2023-10-18T13:51:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"}},{"before":"647f32f6607b115f73cd75a4ba05e74e5c0fd158","after":null,"ref":"refs/heads/ncfavier-update-agda","pushedAt":"2023-10-18T13:51:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"}},{"before":null,"after":"647f32f6607b115f73cd75a4ba05e74e5c0fd158","ref":"refs/heads/ncfavier-update-agda","pushedAt":"2023-10-18T13:51:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"plt-amy","name":"Amélia","path":"/plt-amy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29957583?s=80&v=4"},"commit":{"message":"fixup: make everything check together","shortMessageHtmlLink":"fixup: make everything check together"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0xOFQxMzo1ODoyMC4wMDAwMDBazwAAAAOaCW5l","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0xOFQxMzo1ODoyMC4wMDAwMDBazwAAAAOaCW5l","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0xOFQxMzo1MToxMC4wMDAwMDBazwAAAAOaB6XK"}},"title":"Activity · martinescardo/HoTTEST-Summer-School"}