{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":733669785,"defaultBranch":"main","name":"algaroba","ownerLogin":"uclid-org","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-12-19T21:21:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35505091?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715204966.0","currentOid":""},"activityList":{"items":[{"before":"cfb3d33cf45df160f9a356e846a09f29152c8b60","after":"e5140332f49ed90acf3f0477c1fad2b2619aa573","ref":"refs/heads/main","pushedAt":"2024-05-08T21:41:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"amarshah1","name":"Amar Shah","path":"/amarshah1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4036435?s=80&v=4"},"commit":{"message":"updated README with citation","shortMessageHtmlLink":"updated README with citation"}},{"before":"0148353d68e250a27c2393ba4012f92e98b47a93","after":"cfb3d33cf45df160f9a356e846a09f29152c8b60","ref":"refs/heads/main","pushedAt":"2024-05-08T21:31:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"amarshah1","name":"Amar Shah","path":"/amarshah1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4036435?s=80&v=4"},"commit":{"message":"Updating smt-lib utils version and Bouvier benchmarks","shortMessageHtmlLink":"Updating smt-lib utils version and Bouvier benchmarks"}},{"before":"18c48e299598812f78c5080bd1dcec0e89b53c7b","after":"ecc2289126547221d851ce1c69340dfea474cb98","ref":"refs/heads/aaai24","pushedAt":"2024-03-04T12:00:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"amarshah1","name":"Amar Shah","path":"/amarshah1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4036435?s=80&v=4"},"commit":{"message":"fixed Peter bug","shortMessageHtmlLink":"fixed Peter bug"}},{"before":"16650028c7e3227d67bc8f9f8f6f90af1a3923fc","after":"0148353d68e250a27c2393ba4012f92e98b47a93","ref":"refs/heads/main","pushedAt":"2024-03-04T12:00:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"amarshah1","name":"Amar Shah","path":"/amarshah1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4036435?s=80&v=4"},"commit":{"message":"fixed Peter bug","shortMessageHtmlLink":"fixed Peter bug"}},{"before":"96f9cdaa4a90d1e58a55d12a54f90b6c3e5e773c","after":"18c48e299598812f78c5080bd1dcec0e89b53c7b","ref":"refs/heads/aaai24","pushedAt":"2024-01-22T18:37:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"FedericoAureliano","name":"Federico Mora Rocha","path":"/FedericoAureliano","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4874913?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:amarshah1/algarobatool into aaai24\n\nBring in citation file to aaai branch","shortMessageHtmlLink":"Merge branch 'main' of github.com:amarshah1/algarobatool into aaai24"}},{"before":"5f7eb139f1b1fc0c34ae19e26e321b2a7db2cdc3","after":"16650028c7e3227d67bc8f9f8f6f90af1a3923fc","ref":"refs/heads/main","pushedAt":"2024-01-22T18:36:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoAureliano","name":"Federico Mora Rocha","path":"/FedericoAureliano","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4874913?s=80&v=4"},"commit":{"message":"add citation file","shortMessageHtmlLink":"add citation file"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERRBe_gA","startCursor":null,"endCursor":null}},"title":"Activity · uclid-org/algaroba"}