{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":737038226,"defaultBranch":"main","name":"eBTC-certora-vs-echidna","ownerLogin":"nican0r","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-29T16:09:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/94120714?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1703866415.0","currentOid":""},"activityList":{"items":[{"before":"d994b34c57b06e4c5aed735803dd33d6f10e0b59","after":"f2dc46a73495445eb9a71fecf089cf9ec2e5f61a","ref":"refs/heads/main","pushedAt":"2023-12-29T16:34:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nican0r","name":null,"path":"/nican0r","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94120714?s=80&v=4"},"commit":{"message":"add README","shortMessageHtmlLink":"add README"}},{"before":null,"after":"27bed6cd95232d8b39e3ea10ffd12ea3f64e4e9d","ref":"refs/heads/GalloDaSballo-patch-1","pushedAt":"2023-12-29T16:13:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nican0r","name":null,"path":"/nican0r","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94120714?s=80&v=4"},"commit":{"message":"Update scope.txt","shortMessageHtmlLink":"Update scope.txt"}},{"before":null,"after":"2a7e0104f0b99376eb759f85ecced45550467629","ref":"refs/heads/GalloDaSballo-patch-3","pushedAt":"2023-12-29T16:13:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nican0r","name":null,"path":"/nican0r","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94120714?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"73a41412dc6c9680f4f6b0a09f5c20a764771a67","ref":"refs/heads/GalloDaSballo-patch-5","pushedAt":"2023-12-29T16:13:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nican0r","name":null,"path":"/nican0r","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94120714?s=80&v=4"},"commit":{"message":"Update README_EBTC.md\n\nRemove confusing scope","shortMessageHtmlLink":"Update README_EBTC.md"}},{"before":null,"after":"b5025a2165e2ff097a6242eb01058fadad8635ef","ref":"refs/heads/GalloDaSballo-patch-2","pushedAt":"2023-12-29T16:13:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nican0r","name":null,"path":"/nican0r","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94120714?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"b8a3f8bed5bee379b69d35563c5d356b1666edf8","ref":"refs/heads/GalloDaSballo-patch-6","pushedAt":"2023-12-29T16:13:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nican0r","name":null,"path":"/nican0r","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94120714?s=80&v=4"},"commit":{"message":"Oneliners for Medusa and Echidna","shortMessageHtmlLink":"Oneliners for Medusa and Echidna"}},{"before":null,"after":"d994b34c57b06e4c5aed735803dd33d6f10e0b59","ref":"refs/heads/main","pushedAt":"2023-12-29T16:13:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nican0r","name":null,"path":"/nican0r","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94120714?s=80&v=4"},"commit":{"message":"specs for case study with echidna","shortMessageHtmlLink":"specs for case study with echidna"}},{"before":null,"after":"e7d5fb4b1080c8cf130ef2bde15431bf9c4b7a1d","ref":"refs/heads/GalloDaSballo-patch-4","pushedAt":"2023-12-29T16:13:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"nican0r","name":null,"path":"/nican0r","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/94120714?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yOVQxNjozNDowMy4wMDAwMDBazwAAAAPULtmi","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yOVQxNjozNDowMy4wMDAwMDBazwAAAAPULtmi","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yOVQxNjoxMzozNS4wMDAwMDBazwAAAAPULFYV"}},"title":"Activity · nican0r/eBTC-certora-vs-echidna"}