{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":368837940,"defaultBranch":"master","name":"ocaml-bitwuzla","ownerLogin":"bitwuzla","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-19T10:59:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/64512433?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709896047.0","currentOid":""},"activityList":{"items":[{"before":"6bd3011be4244bd5891f5f43cc38a3cae2e62834","after":"f79e1db3a3055f9e0daa259b9d5e3dc7afd8e4ea","ref":"refs/heads/master","pushedAt":"2024-03-08T11:02:03.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"Add a test for OCaml 5","shortMessageHtmlLink":"Add a test for OCaml 5"}},{"before":"6daeee530155d5a8426a646d61369078bfa12f7a","after":"ccb15871972b588a5984ef851c9649a3ca5470f2","ref":"refs/heads/refactor-node-manager","pushedAt":"2024-03-03T20:44:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"fetch 'bitwuzla' from 'b772cd25'","shortMessageHtmlLink":"fetch 'bitwuzla' from 'b772cd25'"}},{"before":"fde0058df27738ceeb8f59f4cb65ea2b65db58ba","after":"6bd3011be4244bd5891f5f43cc38a3cae2e62834","ref":"refs/heads/master","pushedAt":"2023-12-12T17:42:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"Upgrade bitwuzla '0.3.0'","shortMessageHtmlLink":"Upgrade bitwuzla '0.3.0'"}},{"before":"1f4cff5445cc145a88de2045a7fb4e7fcd6b3dd0","after":"6daeee530155d5a8426a646d61369078bfa12f7a","ref":"refs/heads/refactor-node-manager","pushedAt":"2023-11-08T18:38:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"upgrade bitwuzla 'refactor-node-manager'","shortMessageHtmlLink":"upgrade bitwuzla 'refactor-node-manager'"}},{"before":null,"after":"1f4cff5445cc145a88de2045a7fb4e7fcd6b3dd0","ref":"refs/heads/refactor-node-manager","pushedAt":"2023-11-08T18:06:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"upgrade bitwuzla 'refactor-node-manager'","shortMessageHtmlLink":"upgrade bitwuzla 'refactor-node-manager'"}},{"before":"47a30d545369a7b0d39593ab1bc6ad6205c75bcc","after":"fde0058df27738ceeb8f59f4cb65ea2b65db58ba","ref":"refs/heads/master","pushedAt":"2023-10-04T08:26:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"Return Val_unit instead of void","shortMessageHtmlLink":"Return Val_unit instead of void"}},{"before":"f40b7c00bcc0ee2c9c17a6d6367073d4f3485ea4","after":"47a30d545369a7b0d39593ab1bc6ad6205c75bcc","ref":"refs/heads/master","pushedAt":"2023-10-04T07:57:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"Recover from exceptions during placement new","shortMessageHtmlLink":"Recover from exceptions during placement new"}},{"before":"50933fbb40f81a6bc3e33fd8d011413a09bb328f","after":null,"ref":"refs/tags/0.2.0","pushedAt":"2023-09-01T10:00:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"}},{"before":"464fa4befd65872ddf7e680af3f62c0156b64f2e","after":"f40b7c00bcc0ee2c9c17a6d6367073d4f3485ea4","ref":"refs/heads/master","pushedAt":"2023-09-01T09:59:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"fix macOS Homebrew library paths","shortMessageHtmlLink":"fix macOS Homebrew library paths"}},{"before":"efa85d6eb214ead001e6e36795d8fb6f0396acde","after":null,"ref":"refs/tags/0.2.0","pushedAt":"2023-09-01T09:36:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"}},{"before":"053019694a71fe6669b55df6ff8f1581e6f29bc7","after":"464fa4befd65872ddf7e680af3f62c0156b64f2e","ref":"refs/heads/master","pushedAt":"2023-09-01T09:36:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"fix macOS Homebrew include paths","shortMessageHtmlLink":"fix macOS Homebrew include paths"}},{"before":"91875085d11a4f30f129fa1f1ae8496661ff0f19","after":"053019694a71fe6669b55df6ff8f1581e6f29bc7","ref":"refs/heads/master","pushedAt":"2023-09-01T09:18:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"update README","shortMessageHtmlLink":"update README"}},{"before":"ad407d31511fd622a13735346913471a2e52c226","after":null,"ref":"refs/tags/0.2.0","pushedAt":"2023-09-01T09:14:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"}},{"before":"749d16c90984c627f1a7108c380977e6fd382618","after":"91875085d11a4f30f129fa1f1ae8496661ff0f19","ref":"refs/heads/master","pushedAt":"2023-09-01T09:13:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"fix errors from Opam-CI","shortMessageHtmlLink":"fix errors from Opam-CI"}},{"before":"265a790d19dde7d120ec0f90c77ff8e3a45eecfc","after":"749d16c90984c627f1a7108c380977e6fd382618","ref":"refs/heads/master","pushedAt":"2023-09-01T08:12:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"prepare for release 0.2.0","shortMessageHtmlLink":"prepare for release 0.2.0"}},{"before":"99affd5558f8d7df38c412ad43e93d6a64b19c28","after":"265a790d19dde7d120ec0f90c77ff8e3a45eecfc","ref":"refs/heads/master","pushedAt":"2023-08-25T17:16:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"fix c++17 flags","shortMessageHtmlLink":"fix c++17 flags"}},{"before":"6fd49ac3530752ee00fb88bc6633c49528d97752","after":null,"ref":"refs/tags/0.1.1","pushedAt":"2023-08-25T17:16:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"}},{"before":"c0cd9842f58e094fa8c7075fbaac835884f7ce1c","after":null,"ref":"refs/heads/dev","pushedAt":"2023-08-25T16:33:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"}},{"before":"ff8954e0121c18806f9ce714278ba894423ec0bc","after":"99affd5558f8d7df38c412ad43e93d6a64b19c28","ref":"refs/heads/master","pushedAt":"2023-08-25T16:25:02.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"prepare for OPAM release","shortMessageHtmlLink":"prepare for OPAM release"}},{"before":"cf1ecb3e901e43a944070592bc1c6b2e47e8ddf5","after":"c0cd9842f58e094fa8c7075fbaac835884f7ce1c","ref":"refs/heads/dev","pushedAt":"2023-08-25T16:07:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"prepare for OPAM release","shortMessageHtmlLink":"prepare for OPAM release"}},{"before":"a23ef483e442722a6d535df27289171060793aa1","after":"cf1ecb3e901e43a944070592bc1c6b2e47e8ddf5","ref":"refs/heads/dev","pushedAt":"2023-08-09T06:38:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"fix README, OCaml version & CI","shortMessageHtmlLink":"fix README, OCaml version & CI"}},{"before":"df19dfeb7440d80c920704b425766a999f0b4b2d","after":"a23ef483e442722a6d535df27289171060793aa1","ref":"refs/heads/dev","pushedAt":"2023-08-07T18:27:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"fix README & Opam","shortMessageHtmlLink":"fix README & Opam"}},{"before":"5681a09093121ecd0a6876566cccfb6e9c2da605","after":"df19dfeb7440d80c920704b425766a999f0b4b2d","ref":"refs/heads/dev","pushedAt":"2023-08-07T18:13:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"update CI","shortMessageHtmlLink":"update CI"}},{"before":"62876fafd2fa16c19d0478de00777ca5bc4d4ae7","after":"5681a09093121ecd0a6876566cccfb6e9c2da605","ref":"refs/heads/dev","pushedAt":"2023-08-07T18:08:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"fix README","shortMessageHtmlLink":"fix README"}},{"before":null,"after":"62876fafd2fa16c19d0478de00777ca5bc4d4ae7","ref":"refs/heads/dev","pushedAt":"2023-08-07T18:01:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"recoules","name":"Frédéric Recoules","path":"/recoules","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33151026?s=80&v=4"},"commit":{"message":"change C to C++ API","shortMessageHtmlLink":"change C to C++ API"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEEA-l9AA","startCursor":null,"endCursor":null}},"title":"Activity · bitwuzla/ocaml-bitwuzla"}