{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":574907096,"defaultBranch":"master","name":"smtlib-backends","ownerLogin":"tweag","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-12-06T10:38:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6057932?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1706538248.0","currentOid":""},"activityList":{"items":[{"before":"a21a32018b05ffa3bac66295a70cb1b2a65c8c60","after":"b084da6d4814c03fe898711b9950e7e1e2c5ee1e","ref":"refs/heads/master","pushedAt":"2024-01-29T14:24:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Bump version of smtlib-backends-z3 to 0.3.1 and update changelog","shortMessageHtmlLink":"Bump version of smtlib-backends-z3 to 0.3.1 and update changelog"}},{"before":"6f99073600da10091857f31579469996a858e692","after":null,"ref":"refs/heads/fd/update-dependencies","pushedAt":"2024-01-28T16:30:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"}},{"before":"9c153e0997ee7a3489e7d09bd35a98c742e154f1","after":"a21a32018b05ffa3bac66295a70cb1b2a65c8c60","ref":"refs/heads/master","pushedAt":"2024-01-28T16:30:18.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Shorten job names","shortMessageHtmlLink":"Shorten job names"}},{"before":"441bef34c83aab987310588c98edd94e3ef6fe11","after":"6f99073600da10091857f31579469996a858e692","ref":"refs/heads/fd/update-dependencies","pushedAt":"2024-01-28T16:08:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Shorten job names","shortMessageHtmlLink":"Shorten job names"}},{"before":"acdb22b24de37125a8cd1683fcd837d3a56f191b","after":"441bef34c83aab987310588c98edd94e3ef6fe11","ref":"refs/heads/fd/update-dependencies","pushedAt":"2024-01-28T16:07:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Shorten job names","shortMessageHtmlLink":"Shorten job names"}},{"before":null,"after":"acdb22b24de37125a8cd1683fcd837d3a56f191b","ref":"refs/heads/fd/update-dependencies","pushedAt":"2024-01-28T16:02:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Run ghc 9.8.1 in CI","shortMessageHtmlLink":"Run ghc 9.8.1 in CI"}},{"before":"b1048035e6626d8c72b88b2502df78ea35afd27e","after":null,"ref":"refs/heads/fd/z3_config_warn","pushedAt":"2024-01-26T12:09:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"}},{"before":"25e0baf68b5f21f613251dd6ee8b59dd715131d2","after":"9c153e0997ee7a3489e7d09bd35a98c742e154f1","ref":"refs/heads/master","pushedAt":"2024-01-26T12:09:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Edit Z3.Config comment\n\nCo-authored-by: Arnaud Spiwack <arnaud@spiwack.net>","shortMessageHtmlLink":"Edit Z3.Config comment"}},{"before":"0605a02bac8223c93030069852816d4eae46a7b7","after":"b1048035e6626d8c72b88b2502df78ea35afd27e","ref":"refs/heads/fd/z3_config_warn","pushedAt":"2024-01-26T12:06:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Edit Z3.Config comment\n\nCo-authored-by: Arnaud Spiwack <arnaud@spiwack.net>","shortMessageHtmlLink":"Edit Z3.Config comment"}},{"before":"56b355038f2e6b520c466c8ba58218a6365e1aef","after":"0605a02bac8223c93030069852816d4eae46a7b7","ref":"refs/heads/fd/z3_config_warn","pushedAt":"2024-01-25T13:14:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Document limitations of Z3.Config","shortMessageHtmlLink":"Document limitations of Z3.Config"}},{"before":"122bd70ba93ce97fb8d2cc822b6037c2627a15da","after":"56b355038f2e6b520c466c8ba58218a6365e1aef","ref":"refs/heads/fd/z3_config_warn","pushedAt":"2024-01-25T12:42:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Document limitations of Z3.Config","shortMessageHtmlLink":"Document limitations of Z3.Config"}},{"before":"fa1950398f829f3daf7b82b679dddb996147da55","after":"122bd70ba93ce97fb8d2cc822b6037c2627a15da","ref":"refs/heads/fd/z3_config_warn","pushedAt":"2024-01-25T12:41:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Document limitations of Z3.Config","shortMessageHtmlLink":"Document limitations of Z3.Config"}},{"before":null,"after":"fa1950398f829f3daf7b82b679dddb996147da55","ref":"refs/heads/fd/z3_config_warn","pushedAt":"2024-01-25T12:39:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Document limitations of Z3.Config","shortMessageHtmlLink":"Document limitations of Z3.Config"}},{"before":"695f280248d92296061dc84a5da7c5b452a025ac","after":"25e0baf68b5f21f613251dd6ee8b59dd715131d2","ref":"refs/heads/master","pushedAt":"2023-11-28T19:09:12.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Mention CVC5 in the top-level README","shortMessageHtmlLink":"Mention CVC5 in the top-level README"}},{"before":"aea09b7591d92d94d092aaed13957b4c8ff65cb7","after":"695f280248d92296061dc84a5da7c5b452a025ac","ref":"refs/heads/master","pushedAt":"2023-11-20T22:08:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Update upper bound of base","shortMessageHtmlLink":"Update upper bound of base"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD6-kK5AA","startCursor":null,"endCursor":null}},"title":"Activity · tweag/smtlib-backends"}