{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":604185752,"defaultBranch":"main","name":"dilithium","ownerLogin":"formosa-crypto","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-02-20T14:14:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/97531098?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1687338848.995733","currentOid":""},"activityList":{"items":[{"before":"c0d3fd77e5d1fee2d4d9900bd857a071c852eb6d","after":"bc518f991b559ad08d04c506578bcb80397a1581","ref":"refs/heads/update-for-e1defe27f1ec0","pushedAt":"2023-06-21T14:13:19.099Z","pushType":"push","commitsCount":1,"pusher":{"login":"chdoc","name":"Christian Doczkal","path":"/chdoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20443222?s=80&v=4"},"commit":{"message":"remove unneeded lemmas from supplementary file","shortMessageHtmlLink":"remove unneeded lemmas from supplementary file"}},{"before":null,"after":"c0d3fd77e5d1fee2d4d9900bd857a071c852eb6d","ref":"refs/heads/update-for-e1defe27f1ec0","pushedAt":"2023-06-21T09:14:08.995Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"chdoc","name":"Christian Doczkal","path":"/chdoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20443222?s=80&v=4"},"commit":{"message":"update to recent changes on the deploy-expected-cost branch\n\n- use new subtype theory (no more unprovable axioms)\n- delete lemmas that have been merged upstream\n- fix proofs broken by name changes\n- expected-cost proofs are still broken","shortMessageHtmlLink":"update to recent changes on the deploy-expected-cost branch"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADRiEiVwA","startCursor":null,"endCursor":null}},"title":"Activity · formosa-crypto/dilithium"}