{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":61185572,"defaultBranch":"master","name":"HOL","ownerLogin":"talsewell","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2016-06-15T07:07:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13897968?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1725242973.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"a429a7a92b1d64ee740e14bab8410e810315493e","ref":"refs/heads/ind_defn_reln_types","pushedAt":"2024-09-02T02:09:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"talsewell","name":"Thomas Sewell","path":"/talsewell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13897968?s=80&v=4"},"commit":{"message":"Check for a type-confusion issue in IndDef\n\nAdd an additional user-input check to InductiveRelation.check_clause to catch a\ncase where different clauses of an inductive relation would give it different\ntypes. This would lead to low-level matching errors later in the process.","shortMessageHtmlLink":"Check for a type-confusion issue in IndDef"}},{"before":"ff0e6a57cb4a94a1e54a13c1d763a43cc4e048c9","after":"ecdbc2ab8eadf7e62c63df71232af5819db20085","ref":"refs/heads/develop","pushedAt":"2024-07-02T07:02:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"talsewell","name":"Thomas Sewell","path":"/talsewell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13897968?s=80&v=4"},"commit":{"message":"Update cv translation for toSortedAList","shortMessageHtmlLink":"Update cv translation for toSortedAList"}},{"before":null,"after":"ff0e6a57cb4a94a1e54a13c1d763a43cc4e048c9","ref":"refs/heads/develop","pushedAt":"2024-07-02T06:53:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"talsewell","name":"Thomas Sewell","path":"/talsewell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13897968?s=80&v=4"},"commit":{"message":"Update cv translation for toSortedAList","shortMessageHtmlLink":"Update cv translation for toSortedAList"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wMlQwMjowOTozMy4wMDAwMDBazwAAAASqH-Sd","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wMlQwNjo1MzoyNC4wMDAwMDBazwAAAAR0ebQs"}},"title":"Activity · talsewell/HOL"}