{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":192804487,"defaultBranch":"master","name":"scala-smtlib","ownerLogin":"epfl-lara","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-06-19T21:07:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3035238?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1630918493.722118","currentOid":""},"activityList":{"items":[{"before":"ca9c0226aba1809ae31f7e16dc7d9d0adb48052f","after":"51a44878858b427f1a4e5a5eb01d8f796898d812","ref":"refs/heads/master","pushedAt":"2023-10-06T19:51:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"vkuncak","name":"Viktor Kunčak","path":"/vkuncak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3809719?s=80&v=4"},"commit":{"message":"Support for cvc5 and upgrade to Scala 3.3","shortMessageHtmlLink":"Support for cvc5 and upgrade to Scala 3.3"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADkVma5wA","startCursor":null,"endCursor":null}},"title":"Activity · epfl-lara/scala-smtlib"}