{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":329633385,"defaultBranch":"main","name":"trace-monoids","ownerLogin":"annenkov","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-14T14:06:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3139049?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1669578254.790338","currentOid":""},"activityList":{"items":[{"before":"ca035322640235ece8a0320c5a8af66987dfb084","after":"cf86c55f8967e2d5cd7291603595f6ae1475ee6b","ref":"refs/heads/main","pushedAt":"2024-02-29T14:50:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"annenkov","name":"Danil Annenkov","path":"/annenkov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3139049?s=80&v=4"},"commit":{"message":"Add seq scheduler and soundness proof; add lock scheduler","shortMessageHtmlLink":"Add seq scheduler and soundness proof; add lock scheduler"}},{"before":"3dea7673160d711a565586bd5d84d6ca5481a401","after":"ca035322640235ece8a0320c5a8af66987dfb084","ref":"refs/heads/main","pushedAt":"2023-04-05T20:13:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"annenkov","name":"Danil Annenkov","path":"/annenkov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3139049?s=80&v=4"},"commit":{"message":"Make Lang a paremeterised module; make Location an arbitrary discrete type","shortMessageHtmlLink":"Make Lang a paremeterised module; make Location an arbitrary discrete…"}},{"before":"efa7e920a827eba20cb1ce41427b3d83e23c8eb2","after":"3dea7673160d711a565586bd5d84d6ca5481a401","ref":"refs/heads/main","pushedAt":"2023-04-05T17:36:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"annenkov","name":"Danil Annenkov","path":"/annenkov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3139049?s=80&v=4"},"commit":{"message":"Bump agda to 2.6.3","shortMessageHtmlLink":"Bump agda to 2.6.3"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAECNW9CQA","startCursor":null,"endCursor":null}},"title":"Activity · annenkov/trace-monoids"}