{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":667027113,"defaultBranch":"dev","name":"stwo","ownerLogin":"starkware-libs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-16T11:58:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59333826?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727532624.0","currentOid":""},"activityList":{"items":[{"before":"5aa955ed5c3d31e5bbcf281cc67caf9fd871e1c7","after":"26bb2a24af1aa1e5bf428d9db300aa40ed46fbc7","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T12:08:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"885e6d77ccaa715eee620f202c0a1a22cc535e3c","after":"5aa955ed5c3d31e5bbcf281cc67caf9fd871e1c7","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T11:01:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"573641f576c0fb89c285e8b0a0c4c2cc51df7bb8","after":"885e6d77ccaa715eee620f202c0a1a22cc535e3c","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T10:58:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"87d2c6e470b3c1ba7768960e8035385e1d6d8fc5","after":"573641f576c0fb89c285e8b0a0c4c2cc51df7bb8","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T10:52:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"ec05790d5beb310149cd2325b6c8d01778801688","after":"87d2c6e470b3c1ba7768960e8035385e1d6d8fc5","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T09:32:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"b71105ef008be84fb5f9114a791ca721ab729a8a","after":"ec05790d5beb310149cd2325b6c8d01778801688","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T09:32:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"57042e956da0ce9528db765246b2512ffe13dd9b","after":"b71105ef008be84fb5f9114a791ca721ab729a8a","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T08:39:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"f87be73315075f7566f26abea643908b2b73a6b5","after":"57042e956da0ce9528db765246b2512ffe13dd9b","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T08:15:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"417f6b1f8b29eda6806974445846d1f704c62eb7","after":"f87be73315075f7566f26abea643908b2b73a6b5","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T07:33:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"1a27bf4b2af79944411cf2118c3ff35bb8be3a9f","after":"417f6b1f8b29eda6806974445846d1f704c62eb7","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T07:15:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"8dc0582e70abe85839749874e10c32593eb37001","after":"1a27bf4b2af79944411cf2118c3ff35bb8be3a9f","ref":"refs/heads/ohad/constant_columns","pushedAt":"2024-09-29T06:44:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ohad-starkware","name":"Ohad","path":"/ohad-starkware","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/137686240?s=80&v=4"},"commit":{"message":"constant attempt 1","shortMessageHtmlLink":"constant attempt 1"}},{"before":"b15bcbd55a20ed68413589f1bbe6e343a9b829a5","after":null,"ref":"refs/heads/graphite-base/811","pushedAt":"2024-09-28T14:10:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"}},{"before":"77b7cdda98e4007b015570b28144c71262f485bd","after":null,"ref":"refs/heads/graphite-base/838","pushedAt":"2024-09-28T14:06:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alonh5","name":"Alon Haramati","path":"/alonh5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91828241?s=80&v=4"}},{"before":"a8fff1b8ff5d0f6452a6b479227241aee388c88c","after":null,"ref":"refs/heads/graphite-base/840","pushedAt":"2024-09-28T14:06:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alonh5","name":"Alon Haramati","path":"/alonh5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91828241?s=80&v=4"}},{"before":"0aafcdfee8ff886e74f6e915a0032e9933892b16","after":null,"ref":"refs/heads/graphite-base/850","pushedAt":"2024-09-28T14:06:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"alonh5","name":"Alon Haramati","path":"/alonh5","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91828241?s=80&v=4"}},{"before":"7372a0694dab5387400e08f74cb7641f1c94cfea","after":null,"ref":"refs/heads/graphite-base/845","pushedAt":"2024-09-27T14:15:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"}},{"before":"d0302ca2e559d9734a5337d6396847b468588a97","after":"b75874885d4f8945ec73c1b8ea3ef39fc86c2333","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T14:50:11.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":"add Benchmark (cargo) benchmark result for 443ae49873ff032da8b90cd42d9a14921860926e","shortMessageHtmlLink":"add Benchmark (cargo) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/starkware-libs/stwo/commit/443ae49873ff032da8b90cd42d9a14921860926e/hovercard\" href=\"https://github.com/starkware-libs/stwo/commit/443ae49873ff032da8b90cd42d9a14921860926e\"><tt>443ae49</tt></a>"}},{"before":"2bb6c44e8c8b75d9c38a9ef4f7d4ca57f2bf8914","after":"d0302ca2e559d9734a5337d6396847b468588a97","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T14:48:32.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":"add Benchmark (cargo) benchmark result for 641ef4e57d0a41142bae54ad05663961c0f1cb7d","shortMessageHtmlLink":"add Benchmark (cargo) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/starkware-libs/stwo/commit/641ef4e57d0a41142bae54ad05663961c0f1cb7d/hovercard\" href=\"https://github.com/starkware-libs/stwo/commit/641ef4e57d0a41142bae54ad05663961c0f1cb7d\"><tt>641ef4e</tt></a>"}},{"before":"ebabcd38a40373e68b21913d1f7dd5f19843c714","after":"2bb6c44e8c8b75d9c38a9ef4f7d4ca57f2bf8914","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T14:47:10.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":"add Benchmark (cargo) benchmark result for d7c7997975ddf581b7564b99db497d97652ead98","shortMessageHtmlLink":"add Benchmark (cargo) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/starkware-libs/stwo/commit/d7c7997975ddf581b7564b99db497d97652ead98/hovercard\" href=\"https://github.com/starkware-libs/stwo/commit/d7c7997975ddf581b7564b99db497d97652ead98\"><tt>d7c7997</tt></a>"}},{"before":"8d7cf0eaf0e6fb5127f0581810bc1237fe94400e","after":"30b1eab82e96a5060c1a637d08fdcf1fa51f1afc","ref":"refs/heads/09-24-trace_in_bit_reverse_order","pushedAt":"2024-09-26T14:33:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"trace in bit reverse order","shortMessageHtmlLink":"trace in bit reverse order"}},{"before":"443ae49873ff032da8b90cd42d9a14921860926e","after":null,"ref":"refs/heads/graphite-base/857","pushedAt":"2024-09-26T14:33:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"}},{"before":"7c5d3099f9dddf6c79a5c7256b1f3dd04d241815","after":"443ae49873ff032da8b90cd42d9a14921860926e","ref":"refs/heads/graphite-base/857","pushedAt":"2024-09-26T14:32:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"State machine prover (#845)\n\nMultiple components","shortMessageHtmlLink":"State machine prover (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2536441511\" data-permission-text=\"Title is private\" data-url=\"https://github.com/starkware-libs/stwo/issues/845\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/starkware-libs/stwo/pull/845/hovercard\" href=\"https://github.com/starkware-libs/stwo/pull/845\">#845</a>)"}},{"before":"de00dca7302f75b9ca7ad44d42a208af59c3a1bf","after":"8d7cf0eaf0e6fb5127f0581810bc1237fe94400e","ref":"refs/heads/09-24-trace_in_bit_reverse_order","pushedAt":"2024-09-26T14:32:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"trace in bit reverse order","shortMessageHtmlLink":"trace in bit reverse order"}},{"before":"641ef4e57d0a41142bae54ad05663961c0f1cb7d","after":"443ae49873ff032da8b90cd42d9a14921860926e","ref":"refs/heads/dev","pushedAt":"2024-09-26T14:32:27.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"State machine prover (#845)\n\nMultiple components","shortMessageHtmlLink":"State machine prover (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2536441511\" data-permission-text=\"Title is private\" data-url=\"https://github.com/starkware-libs/stwo/issues/845\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/starkware-libs/stwo/pull/845/hovercard\" href=\"https://github.com/starkware-libs/stwo/pull/845\">#845</a>)"}},{"before":"d7c7997975ddf581b7564b99db497d97652ead98","after":"641ef4e57d0a41142bae54ad05663961c0f1cb7d","ref":"refs/heads/dev","pushedAt":"2024-09-26T14:30:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Alon-Ti","name":null,"path":"/Alon-Ti","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54235977?s=80&v=4"},"commit":{"message":"Parallelize `evaluate_constraint_quotients_on_domain`. (#843)","shortMessageHtmlLink":"Parallelize <code>evaluate_constraint_quotients_on_domain</code>. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2534704791\" data-permission-text=\"Title is private\" data-url=\"https://github.com/starkware-libs/stwo/issues/843\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/starkware-libs/stwo/pull/843/hovercard\" href=\"https://github.com/starkware-libs/stwo/pull/843\">#843</a>)"}},{"before":"7c5d3099f9dddf6c79a5c7256b1f3dd04d241815","after":"207464042c0d671e652630b9a2ea9f7ddee24462","ref":"refs/heads/09-19-State_machine_prover","pushedAt":"2024-09-26T14:28:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"State machine with two components","shortMessageHtmlLink":"State machine with two components"}},{"before":null,"after":"7c5d3099f9dddf6c79a5c7256b1f3dd04d241815","ref":"refs/heads/graphite-base/857","pushedAt":"2024-09-26T14:28:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"State machine with two components","shortMessageHtmlLink":"State machine with two components"}},{"before":"6e649fcf51a7ec2e2efea1d36b0c0eafd0d92737","after":"d7c7997975ddf581b7564b99db497d97652ead98","ref":"refs/heads/dev","pushedAt":"2024-09-26T14:27:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"State machine AIR (#841)\n\nState machine single component example","shortMessageHtmlLink":"State machine AIR (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2533564475\" data-permission-text=\"Title is private\" data-url=\"https://github.com/starkware-libs/stwo/issues/841\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/starkware-libs/stwo/pull/841/hovercard\" href=\"https://github.com/starkware-libs/stwo/pull/841\">#841</a>)"}},{"before":null,"after":"7372a0694dab5387400e08f74cb7641f1c94cfea","ref":"refs/heads/graphite-base/845","pushedAt":"2024-09-26T14:27:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"State machine AIR","shortMessageHtmlLink":"State machine AIR"}},{"before":"edfb1758b039d30354b4c5214d61b53baf452d57","after":"de00dca7302f75b9ca7ad44d42a208af59c3a1bf","ref":"refs/heads/09-24-trace_in_bit_reverse_order","pushedAt":"2024-09-26T09:39:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shaharsamocha7","name":null,"path":"/shaharsamocha7","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/70577611?s=80&v=4"},"commit":{"message":"trace in bit reverse order","shortMessageHtmlLink":"trace in bit reverse order"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yOVQxMjowODozNC4wMDAwMDBazwAAAATD2IJj","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNlQwOTozOToxMi4wMDAwMDBazwAAAATBSr6G"}},"title":"Activity · starkware-libs/stwo"}