{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":769558131,"defaultBranch":"master","name":"z3","ownerLogin":"leventeBajczi","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-03-09T12:21:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12221540?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710141232.0","currentOid":""},"activityList":{"items":[{"before":"2ec4251bea8f9b8fe627639bf1093a0ee0446a09","after":"87be50e46506898fb0fade8b3bec89957e90e769","ref":"refs/heads/dbg_cmds","pushedAt":"2024-03-11T07:13:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Update Release.yml with macos-11","shortMessageHtmlLink":"Update Release.yml with macos-11"}},{"before":"43d524afc8548f62360a721c74dac5aa150f6e37","after":"2ec4251bea8f9b8fe627639bf1093a0ee0446a09","ref":"refs/heads/dbg_cmds","pushedAt":"2024-03-11T07:11:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Update Release.yml with ubuntu-20.04","shortMessageHtmlLink":"Update Release.yml with ubuntu-20.04"}},{"before":"cd1bd50b5b5dee92e783bf9368fe025a72435d4b","after":"1ff7b67a8ca316b0c85d1c29c806ddf3e7eccae5","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-11T00:26:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed library naming","shortMessageHtmlLink":"Fixed library naming"}},{"before":"ae5394ab2cdf653bb6d76eae21aa0ff978a7efce","after":"cd1bd50b5b5dee92e783bf9368fe025a72435d4b","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T23:47:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed hwf","shortMessageHtmlLink":"Fixed hwf"}},{"before":"bef0dc0ebcd1aaf980c5e3753c254ff857abb1f3","after":"ae5394ab2cdf653bb6d76eae21aa0ff978a7efce","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T23:24:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added smmintrin.h","shortMessageHtmlLink":"Added smmintrin.h"}},{"before":"97de538658cd9b49857e21f54d8ff0fb3093f415","after":"bef0dc0ebcd1aaf980c5e3753c254ff857abb1f3","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T23:06:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updated package name","shortMessageHtmlLink":"Updated package name"}},{"before":"4918208bd90cde05cdb80a9f767e3171f0d68f08","after":"97de538658cd9b49857e21f54d8ff0fb3093f415","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T23:03:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"reverted some stuff","shortMessageHtmlLink":"reverted some stuff"}},{"before":"fe816aac0cdaf31351275a6afb9fc7998c58e175","after":"4918208bd90cde05cdb80a9f767e3171f0d68f08","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T22:46:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed upload #2","shortMessageHtmlLink":"Fixed upload <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"64649033\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Z3Prover/z3/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Z3Prover/z3/pull/2/hovercard\" href=\"https://github.com/Z3Prover/z3/pull/2\">Z3Prover#2</a>"}},{"before":"35aac6f73cf36f0813dfec1783f1c878bb4b9ed8","after":"fe816aac0cdaf31351275a6afb9fc7998c58e175","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T22:31:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed package names","shortMessageHtmlLink":"Fixed package names"}},{"before":"c991cf7041da7186719c97d597c1c582ca9f4414","after":"35aac6f73cf36f0813dfec1783f1c878bb4b9ed8","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T22:22:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed path again","shortMessageHtmlLink":"Fixed path again"}},{"before":"134cdd6e0e2ab0d77e0006d4f44b0b2a7a70ab8c","after":"c991cf7041da7186719c97d597c1c582ca9f4414","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T22:17:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed lib path","shortMessageHtmlLink":"Fixed lib path"}},{"before":"34cbc81e92b4b35e68a527ceddef54a70ee88f0a","after":"134cdd6e0e2ab0d77e0006d4f44b0b2a7a70ab8c","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T22:11:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed lib path","shortMessageHtmlLink":"Fixed lib path"}},{"before":"3a9300197d778deb05b49382682f061a17222cd9","after":"34cbc81e92b4b35e68a527ceddef54a70ee88f0a","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T21:20:51.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Renamed dlls","shortMessageHtmlLink":"Renamed dlls"}},{"before":"aeb3002382c3106d3d08a8013f5d32d54ce1a0b2","after":"3a9300197d778deb05b49382682f061a17222cd9","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T21:03:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updated linux release","shortMessageHtmlLink":"Updated linux release"}},{"before":"5885961bf249e2b232ee49708efa583ac50c646c","after":"aeb3002382c3106d3d08a8013f5d32d54ce1a0b2","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:57:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updated linux release","shortMessageHtmlLink":"Updated linux release"}},{"before":"e6e124ad9ffa66f9ef9a59ad3d17b76645639efb","after":"5885961bf249e2b232ee49708efa583ac50c646c","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:55:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updated linux release","shortMessageHtmlLink":"Updated linux release"}},{"before":"cf9b673a51b65bb7596e3b9803fb4ab96cfe5056","after":"e6e124ad9ffa66f9ef9a59ad3d17b76645639efb","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:53:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updated linux release","shortMessageHtmlLink":"Updated linux release"}},{"before":"7bac939e376eb916e2a054247d1a7e4bd2aebc32","after":"cf9b673a51b65bb7596e3b9803fb4ab96cfe5056","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:50:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"updated build instructions","shortMessageHtmlLink":"updated build instructions"}},{"before":"54069baffa9b3a2783122f3d8634ac1818aff344","after":"7bac939e376eb916e2a054247d1a7e4bd2aebc32","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:20:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Updated build","shortMessageHtmlLink":"Updated build"}},{"before":"9aebcd994d355f0ef1420a3c3ee2f2376f4e7a9e","after":"54069baffa9b3a2783122f3d8634ac1818aff344","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:18:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"udpated to 4.3.2","shortMessageHtmlLink":"udpated to 4.3.2"}},{"before":"ca6cd332a0f086d2176d4f8eeaf4319aaa5d3b43","after":"9aebcd994d355f0ef1420a3c3ee2f2376f4e7a9e","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:13:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Installing python2.7","shortMessageHtmlLink":"Installing python2.7"}},{"before":"bed5e35250a3a4a741c2653b04ab5f055175ead9","after":"ca6cd332a0f086d2176d4f8eeaf4319aaa5d3b43","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:11:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Installing python2","shortMessageHtmlLink":"Installing python2"}},{"before":null,"after":"bed5e35250a3a4a741c2653b04ab5f055175ead9","ref":"refs/heads/legacy-4.3.0","pushedAt":"2024-03-10T20:07:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added workflows","shortMessageHtmlLink":"Added workflows"}},{"before":"736a3aadb27bf8647f8fe9b5c25d453ee7040120","after":"43d524afc8548f62360a721c74dac5aa150f6e37","ref":"refs/heads/dbg_cmds","pushedAt":"2024-03-09T19:17:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Fixed syntax error","shortMessageHtmlLink":"Fixed syntax error"}},{"before":"4b57426a76a704516b14c77a4c0c5ef5e72a180b","after":"736a3aadb27bf8647f8fe9b5c25d453ee7040120","ref":"refs/heads/dbg_cmds","pushedAt":"2024-03-09T19:13:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added debug build","shortMessageHtmlLink":"Added debug build"}},{"before":"bb607830147baad014a70e37732ac2878e16d267","after":"4b57426a76a704516b14c77a4c0c5ef5e72a180b","ref":"refs/heads/dbg_cmds","pushedAt":"2024-03-09T14:07:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added missing h","shortMessageHtmlLink":"Added missing h"}},{"before":null,"after":"bb607830147baad014a70e37732ac2878e16d267","ref":"refs/heads/dbg_cmds","pushedAt":"2024-03-09T13:57:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Added install_dbg_cmds","shortMessageHtmlLink":"Added install_dbg_cmds"}},{"before":"e273cb61945ecef8f2dd5260ce3fbf3388edb573","after":"b175293a84dde918f7fce02faac5a569cf9d9a6f","ref":"refs/heads/master","pushedAt":"2024-03-09T13:53:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Not only building master","shortMessageHtmlLink":"Not only building master"}},{"before":"7331eb30bdf8edde520313815383f9141764aec6","after":"e273cb61945ecef8f2dd5260ce3fbf3388edb573","ref":"refs/heads/master","pushedAt":"2024-03-09T13:20:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Renamed release","shortMessageHtmlLink":"Renamed release"}},{"before":"391ba1a7901c3b86ff94486687bb3b3a53f2c60d","after":"7331eb30bdf8edde520313815383f9141764aec6","ref":"refs/heads/master","pushedAt":"2024-03-09T13:17:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Renamed release","shortMessageHtmlLink":"Renamed release"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xMVQwNzoxMzowMC4wMDAwMDBazwAAAAQR838l","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xMVQwNzoxMzowMC4wMDAwMDBazwAAAAQR838l","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wOVQxMzoxNzoxMC4wMDAwMDBazwAAAAQQ8esp"}},"title":"Activity · leventeBajczi/z3"}