{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":671698507,"defaultBranch":"main","name":"verified-count-vowels","ownerLogin":"extism","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-27T23:56:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/84687501?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1690502206.0","currentOid":""},"activityList":{"items":[{"before":"30efa301cd53ada8d6849c6897a0d5f9b46f207c","after":"560b9903f69ce325f39980ddd07dedafa5b43638","ref":"refs/heads/main","pushedAt":"2023-09-29T18:40:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zshipko","name":"zach","path":"/zshipko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/332534?s=80&v=4"},"commit":{"message":"chore: update to latest pdk","shortMessageHtmlLink":"chore: update to latest pdk"}},{"before":"a5ab5fdf9ed38c2dd9bd18e13d51a1f19fdeed10","after":"30efa301cd53ada8d6849c6897a0d5f9b46f207c","ref":"refs/heads/main","pushedAt":"2023-09-29T00:31:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zshipko","name":"zach","path":"/zshipko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/332534?s=80&v=4"},"commit":{"message":"chore: use latest extism-pdk","shortMessageHtmlLink":"chore: use latest extism-pdk"}},{"before":"52724e7d24415143e5113ce818d926761e29badb","after":"a5ab5fdf9ed38c2dd9bd18e13d51a1f19fdeed10","ref":"refs/heads/main","pushedAt":"2023-08-01T02:41:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zshipko","name":"zach","path":"/zshipko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/332534?s=80&v=4"},"commit":{"message":"add proof for count_vowels_le_length","shortMessageHtmlLink":"add proof for count_vowels_le_length"}},{"before":"7b0a5f4e0fcf93e143dc35e295cf2f949bf2dae4","after":"52724e7d24415143e5113ce818d926761e29badb","ref":"refs/heads/main","pushedAt":"2023-07-28T05:25:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zshipko","name":"zach","path":"/zshipko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/332534?s=80&v=4"},"commit":{"message":"cleanup: simplify proofs, get rid of build warnings","shortMessageHtmlLink":"cleanup: simplify proofs, get rid of build warnings"}},{"before":"9faecaa188fe89e1b6dce2346f83e0eb03615c98","after":"7b0a5f4e0fcf93e143dc35e295cf2f949bf2dae4","ref":"refs/heads/main","pushedAt":"2023-07-28T00:35:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zshipko","name":"zach","path":"/zshipko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/332534?s=80&v=4"},"commit":{"message":"cleanup: add comments to coq code","shortMessageHtmlLink":"cleanup: add comments to coq code"}},{"before":"77ea215542051dad4e9691c29d3fd7a85e8acee7","after":"9faecaa188fe89e1b6dce2346f83e0eb03615c98","ref":"refs/heads/main","pushedAt":"2023-07-28T00:33:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zshipko","name":"zach","path":"/zshipko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/332534?s=80&v=4"},"commit":{"message":"cleanup: remove commented out code","shortMessageHtmlLink":"cleanup: remove commented out code"}},{"before":"9892e23a7d453342a2f69c062bb93dbdba0af563","after":"77ea215542051dad4e9691c29d3fd7a85e8acee7","ref":"refs/heads/main","pushedAt":"2023-07-27T23:58:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zshipko","name":"zach","path":"/zshipko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/332534?s=80&v=4"},"commit":{"message":"remove unused example","shortMessageHtmlLink":"remove unused example"}},{"before":null,"after":"9892e23a7d453342a2f69c062bb93dbdba0af563","ref":"refs/heads/main","pushedAt":"2023-07-27T23:56:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zshipko","name":"zach","path":"/zshipko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/332534?s=80&v=4"},"commit":{"message":"init","shortMessageHtmlLink":"init"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADjBEMkQA","startCursor":null,"endCursor":null}},"title":"Activity · extism/verified-count-vowels"}