{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":774754468,"defaultBranch":"main","name":"galois-flakes","ownerLogin":"TomMD","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-03-20T05:50:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/137806?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710913922.001936","currentOid":""},"activityList":{"items":[{"before":"eb034466b73bfce8977c9cf69677d57c9408adb9","after":"bc8ef5e380fd63c55f844b531dad49b69ab2cae2","ref":"refs/heads/main","pushedAt":"2024-03-20T12:56:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomMD","name":"Thomas M. DuBuisson","path":"/TomMD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137806?s=80&v=4"},"commit":{"message":"New z3, cvc5, abc","shortMessageHtmlLink":"New z3, cvc5, abc"}},{"before":"1455bc1539ae382bfeb2f11e3a4dd91f09c167a7","after":"eb034466b73bfce8977c9cf69677d57c9408adb9","ref":"refs/heads/main","pushedAt":"2024-03-20T05:51:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TomMD","name":"Thomas M. DuBuisson","path":"/TomMD","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137806?s=80&v=4"},"commit":{"message":"Add new boolector and re-lock","shortMessageHtmlLink":"Add new boolector and re-lock"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEGqjTTwA","startCursor":null,"endCursor":null}},"title":"Activity · TomMD/galois-flakes"}