{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":238067756,"defaultBranch":"master","name":"swift-z3","ownerLogin":"LuizZak","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-02-03T21:41:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6502879?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1668799899.997201","currentOid":""},"activityList":{"items":[{"before":"5c5d85e2d9e6b727486d872fbd8e6fa8eceeaf72","after":"b235968085e8fd2e3f6c8399f43beafc9709b727","ref":"refs/heads/master","pushedAt":"2024-04-30T14:51:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"LuizZak","name":"Luiz Fernando","path":"/LuizZak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6502879?s=80&v=4"},"commit":{"message":"Updating Z3 files to latest version","shortMessageHtmlLink":"Updating Z3 files to latest version"}},{"before":"83208cdda08b95ed58d798e88f55e297397117ef","after":"d4efbad5c5587a7d11dfd55df186623bdb8dcccc","ref":"refs/heads/gh-pages","pushedAt":"2023-05-16T12:58:15.149Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Updating documentation","shortMessageHtmlLink":"Updating documentation"}},{"before":"1158f095602fd963d06d28725c710b4067597772","after":"5c5d85e2d9e6b727486d872fbd8e6fa8eceeaf72","ref":"refs/heads/master","pushedAt":"2023-05-16T12:41:37.834Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"LuizZak","name":"Luiz Fernando","path":"/LuizZak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6502879?s=80&v=4"},"commit":{"message":"Merge pull request #6 from archbirdplus/master\n\nRemove 'Float80' from ARM builds","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1707992448\" data-permission-text=\"Title is private\" data-url=\"https://github.com/LuizZak/swift-z3/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/LuizZak/swift-z3/pull/6/hovercard\" href=\"https://github.com/LuizZak/swift-z3/pull/6\">#6</a> from archbirdplus/master"}},{"before":"33dbbd6862147b9d87067c377779d2eed15cd2c7","after":"83208cdda08b95ed58d798e88f55e297397117ef","ref":"refs/heads/gh-pages","pushedAt":"2023-04-02T20:15:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Updating documentation","shortMessageHtmlLink":"Updating documentation"}},{"before":"7d47f322454984ea0e6371a460a05a84bd0c4cae","after":"33dbbd6862147b9d87067c377779d2eed15cd2c7","ref":"refs/heads/gh-pages","pushedAt":"2023-04-02T15:31:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Updating documentation","shortMessageHtmlLink":"Updating documentation"}},{"before":"3579319c1e92733c8802798a277f0651aed64b7a","after":"1158f095602fd963d06d28725c710b4067597772","ref":"refs/heads/master","pushedAt":"2023-04-02T15:18:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LuizZak","name":"Luiz Fernando","path":"/LuizZak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6502879?s=80&v=4"},"commit":{"message":"Updating template header for type generation to work in macOS","shortMessageHtmlLink":"Updating template header for type generation to work in macOS"}},{"before":"2e86a3aa2d6c179d1047c8406bdc8b6a2ad334fe","after":"3579319c1e92733c8802798a277f0651aed64b7a","ref":"refs/heads/master","pushedAt":"2023-04-02T15:11:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LuizZak","name":"Luiz Fernando","path":"/LuizZak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6502879?s=80&v=4"},"commit":{"message":"Updating Z3 code to latest version","shortMessageHtmlLink":"Updating Z3 code to latest version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEPiFkPQA","startCursor":null,"endCursor":null}},"title":"Activity · LuizZak/swift-z3"}