{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":465812746,"defaultBranch":"main","name":"dafny-reportgenerator","ownerLogin":"dafny-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-03-03T17:09:16.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52358127?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1704389332.0","currentOid":""},"activityList":{"items":[{"before":"924575caf094cac4761b5b75270170f8e5b78833","after":null,"ref":"refs/heads/stability-all","pushedAt":"2024-01-04T17:28:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"}},{"before":"ad47cbc0be9cfae1b24c1a63144634653c41245c","after":null,"ref":"refs/heads/normalized-stddev","pushedAt":"2024-01-04T17:26:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"}},{"before":"65fa306dcb1383209dcd0906d071956a726a61e4","after":null,"ref":"refs/heads/allow-different-outcomes","pushedAt":"2024-01-04T17:26:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"}},{"before":"da0b63905796f673c33dd2a7f21fc4d8895c9abf","after":null,"ref":"refs/heads/release-1.2.0","pushedAt":"2024-01-04T17:26:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"}},{"before":null,"after":"79a019ea1a3383e3a0b515ffc1c7d0a9dcc2ecd6","ref":"refs/heads/robin-aws-patch-1","pushedAt":"2023-04-21T19:45:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Fix nightly build\n\nUpgrade setup-dafny-action","shortMessageHtmlLink":"Fix nightly build"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD1-k_lgA","startCursor":null,"endCursor":null}},"title":"Activity · dafny-lang/dafny-reportgenerator"}