{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":220449316,"defaultBranch":"master","name":"Z3.jl","ownerLogin":"ahumenberger","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-11-08T11:04:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2736221?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1718504025.0","currentOid":""},"activityList":{"items":[{"before":"eb0741b382ceba86712204e3ce60bfc13ee7aa02","after":"7b522439b1d53475c8b5304301e0a80c4a4bd389","ref":"refs/heads/master","pushedAt":"2024-06-17T16:47:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"remysucre","name":"Yisu Remy Wang","path":"/remysucre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6758001?s=80&v=4"},"commit":{"message":"add boolvar","shortMessageHtmlLink":"add boolvar"}},{"before":"31eab88b952a47ae89f9185e0f96260ea97a362e","after":"eb0741b382ceba86712204e3ce60bfc13ee7aa02","ref":"refs/heads/master","pushedAt":"2024-06-13T22:13:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"remysucre","name":"Yisu Remy Wang","path":"/remysucre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6758001?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}},{"before":"3489903787da70ed901c05ac2fe8d9b4c0ff0abe","after":"31eab88b952a47ae89f9185e0f96260ea97a362e","ref":"refs/heads/master","pushedAt":"2024-06-13T22:11:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"remysucre","name":"Yisu Remy Wang","path":"/remysucre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6758001?s=80&v=4"},"commit":{"message":"Update z3_jll","shortMessageHtmlLink":"Update z3_jll"}},{"before":"bd2201c4bcded1744f5636d3bdb6ea3bcb74af59","after":"3489903787da70ed901c05ac2fe8d9b4c0ff0abe","ref":"refs/heads/master","pushedAt":"2024-05-31T20:31:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"remysucre","name":"Yisu Remy Wang","path":"/remysucre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6758001?s=80&v=4"},"commit":{"message":"free config earlier","shortMessageHtmlLink":"free config earlier"}},{"before":"6f73e5c282c8db865078613903d69123ed56bbff","after":"bd2201c4bcded1744f5636d3bdb6ea3bcb74af59","ref":"refs/heads/master","pushedAt":"2024-05-29T18:25:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"remysucre","name":"Yisu Remy Wang","path":"/remysucre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6758001?s=80&v=4"},"commit":{"message":"Use Z3 C API","shortMessageHtmlLink":"Use Z3 C API"}},{"before":"6a6016e05744f66ce297507fb9306b1e2e298b1b","after":"6f73e5c282c8db865078613903d69123ed56bbff","ref":"refs/heads/master","pushedAt":"2024-04-03T18:40:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"remysucre","name":"Yisu Remy Wang","path":"/remysucre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6758001?s=80&v=4"},"commit":{"message":"Add development notes to README.md","shortMessageHtmlLink":"Add development notes to README.md"}},{"before":"b0ff00a7c1308a73ba25bfa71a860e5552f6a0b9","after":"6a6016e05744f66ce297507fb9306b1e2e298b1b","ref":"refs/heads/master","pushedAt":"2024-04-02T03:43:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"remysucre","name":"Yisu Remy Wang","path":"/remysucre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6758001?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/ahumenberger/Z3.jl","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/ahumenberger/Z3.jl\">https://github.com/ahumenberger/Z3.jl</a>"}},{"before":"357cfba41942e2bb98cb45ac144c24c9dd07da89","after":"b0ff00a7c1308a73ba25bfa71a860e5552f6a0b9","ref":"refs/heads/master","pushedAt":"2024-02-03T19:37:09.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ahumenberger","name":null,"path":"/ahumenberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2736221?s=80&v=4"},"commit":{"message":"Merge pull request #27 from remysucre/patch-1\n\nUpdate dependencies","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2099370497\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ahumenberger/Z3.jl/issues/27\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ahumenberger/Z3.jl/pull/27/hovercard\" href=\"https://github.com/ahumenberger/Z3.jl/pull/27\">#27</a> from remysucre/patch-1"}},{"before":"4a37a65cc4f19af26f8d86cfb5ea54c3943e7214","after":"357cfba41942e2bb98cb45ac144c24c9dd07da89","ref":"refs/heads/master","pushedAt":"2023-08-05T04:26:39.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ahumenberger","name":null,"path":"/ahumenberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2736221?s=80&v=4"},"commit":{"message":"Merge pull request #24 from ahumenberger/update_z3\n\nUpdate z3 from 4.8.14 to 4.12.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1837566722\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ahumenberger/Z3.jl/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ahumenberger/Z3.jl/pull/24/hovercard\" href=\"https://github.com/ahumenberger/Z3.jl/pull/24\">#24</a> from ahumenberger/update_z3"}},{"before":null,"after":"60bf4b3a42b0f0af9201b0e9a1390ae41dc5e89d","ref":"refs/heads/update_z3","pushedAt":"2023-08-05T04:24:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ahumenberger","name":null,"path":"/ahumenberger","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2736221?s=80&v=4"},"commit":{"message":"Bump version to 0.4.3","shortMessageHtmlLink":"Bump version to 0.4.3"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xN1QxNjo0NzoxMy4wMDAwMDBazwAAAARnmZFe","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xN1QxNjo0NzoxMy4wMDAwMDBazwAAAARnmZFe","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0wNVQwNDoyNDo0Mi4wMDAwMDBazwAAAANkbg9A"}},"title":"Activity · ahumenberger/Z3.jl"}