{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":731981699,"defaultBranch":"master","name":"SAT-solver","ownerLogin":"28dvd28","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-15T10:46:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/99896130?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702685867.0","currentOid":""},"activityList":{"items":[{"before":"7161e20a5f0e95a15ad10e181900c2cb25d0c38a","after":"d32ba2f5521b1b18341f1115efdcd71eb7f709cf","ref":"refs/heads/master","pushedAt":"2024-01-22T17:29:07.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #19 from 28dvd28/Test_brench\n\nUpload-02 22/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2094409123\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/19/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/19\">#19</a> from 28dvd28/Test_brench"}},{"before":"2423a133f207a173046032fa77fc11f4049cb341","after":"3cd49419ee322e3565771696b54dc673e10c6f26","ref":"refs/heads/Test_brench","pushedAt":"2024-01-22T17:27:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-02 22/01/2024","shortMessageHtmlLink":"Upload-02 22/01/2024"}},{"before":"7279ae7368ab8cec3ef412064c820587bcb1a1e9","after":"7161e20a5f0e95a15ad10e181900c2cb25d0c38a","ref":"refs/heads/master","pushedAt":"2024-01-22T14:50:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #18 from 28dvd28/Test_brench\n\nUpload-01 22/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2094089546\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/18/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/18\">#18</a> from 28dvd28/Test_brench"}},{"before":"e0756eca7624f985295f2e88e495208d437b7e3f","after":"2423a133f207a173046032fa77fc11f4049cb341","ref":"refs/heads/Test_brench","pushedAt":"2024-01-22T14:49:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-01 22/01/2024","shortMessageHtmlLink":"Upload-01 22/01/2024"}},{"before":"5a0f0730f590ecfbc506bf70f1ec2c32116cf062","after":"7279ae7368ab8cec3ef412064c820587bcb1a1e9","ref":"refs/heads/master","pushedAt":"2024-01-21T21:22:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #17 from 28dvd28/Test_brench\n\nUpload-03 21/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2092776033\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/17/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/17\">#17</a> from 28dvd28/Test_brench"}},{"before":"bde308db808dc00b4d1b5fd8427b4c132bb0b9b0","after":"e0756eca7624f985295f2e88e495208d437b7e3f","ref":"refs/heads/Test_brench","pushedAt":"2024-01-21T21:22:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-03 21/01/2024","shortMessageHtmlLink":"Upload-03 21/01/2024"}},{"before":"d4207fe26011973aeaa3593347646e5a5ffde9cc","after":"5a0f0730f590ecfbc506bf70f1ec2c32116cf062","ref":"refs/heads/master","pushedAt":"2024-01-21T21:19:05.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #16 from 28dvd28/Test_brench\n\nUpload-02 21/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2092774779\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/16/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/16\">#16</a> from 28dvd28/Test_brench"}},{"before":"64bb80c135f334839edd96f321107ae897a98f64","after":"bde308db808dc00b4d1b5fd8427b4c132bb0b9b0","ref":"refs/heads/Test_brench","pushedAt":"2024-01-21T21:18:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-02 21/01/2024","shortMessageHtmlLink":"Upload-02 21/01/2024"}},{"before":"5aed61f815f20f601a098fb21d78a968bfbd687c","after":"d4207fe26011973aeaa3593347646e5a5ffde9cc","ref":"refs/heads/master","pushedAt":"2024-01-21T21:05:26.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #15 from 28dvd28/Test_brench\n\nTest brench","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2092770213\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/15/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/15\">#15</a> from 28dvd28/Test_brench"}},{"before":"c0589e8aed8e1b7c2caea387aba3b252e604940a","after":"64bb80c135f334839edd96f321107ae897a98f64","ref":"refs/heads/Test_brench","pushedAt":"2024-01-21T21:04:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-01 21/01/2024","shortMessageHtmlLink":"Upload-01 21/01/2024"}},{"before":"18e9ba532725ec609a9a00cffa811fba9b2b8230","after":"c0589e8aed8e1b7c2caea387aba3b252e604940a","ref":"refs/heads/Test_brench","pushedAt":"2024-01-19T17:31:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-01 19/01/2024","shortMessageHtmlLink":"Upload-01 19/01/2024"}},{"before":"51e1282605f0b315f07540b25c82e6b8c4cfcd18","after":"5aed61f815f20f601a098fb21d78a968bfbd687c","ref":"refs/heads/master","pushedAt":"2024-01-18T23:47:19.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #14 from 28dvd28/Test_brench\n\nUpload-07 18/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2089295570\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/14/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/14\">#14</a> from 28dvd28/Test_brench"}},{"before":"af5acf046c0429ab0d12e86e91c36888c23e5dcc","after":"18e9ba532725ec609a9a00cffa811fba9b2b8230","ref":"refs/heads/Test_brench","pushedAt":"2024-01-18T23:46:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-07 18/01/2024","shortMessageHtmlLink":"Upload-07 18/01/2024"}},{"before":"0953b489f6d25caa66a38062f949d067c8b42a6c","after":"51e1282605f0b315f07540b25c82e6b8c4cfcd18","ref":"refs/heads/master","pushedAt":"2024-01-18T22:34:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #13 from 28dvd28/Test_brench\n\nUpload-06 18/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2089169860\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/13/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/13\">#13</a> from 28dvd28/Test_brench"}},{"before":"2c1c1191287ad4b519f582eb109868fc0a101fff","after":"af5acf046c0429ab0d12e86e91c36888c23e5dcc","ref":"refs/heads/Test_brench","pushedAt":"2024-01-18T22:33:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-06 18/01/2024","shortMessageHtmlLink":"Upload-06 18/01/2024"}},{"before":"4110276c3b2c956361ee54ba0e5aa47ca2ced6c4","after":"0953b489f6d25caa66a38062f949d067c8b42a6c","ref":"refs/heads/master","pushedAt":"2024-01-18T22:01:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #12 from 28dvd28/Test_brench\n\nUpload-05 18/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2089116657\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/12/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/12\">#12</a> from 28dvd28/Test_brench"}},{"before":"dc2762e64940f670a1330ede7e54b1aad3eaa014","after":"2c1c1191287ad4b519f582eb109868fc0a101fff","ref":"refs/heads/Test_brench","pushedAt":"2024-01-18T22:00:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-05 18/01/2024","shortMessageHtmlLink":"Upload-05 18/01/2024"}},{"before":"786cc2c745ac68e4c3c9366072eafba59258bb9b","after":"4110276c3b2c956361ee54ba0e5aa47ca2ced6c4","ref":"refs/heads/master","pushedAt":"2024-01-18T21:56:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #11 from 28dvd28/Test_brench\n\nUpload-04 18/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2089110312\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/11/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/11\">#11</a> from 28dvd28/Test_brench"}},{"before":"554e47a984577f4d2c0230fa39f19e92f9a20a7e","after":"dc2762e64940f670a1330ede7e54b1aad3eaa014","ref":"refs/heads/Test_brench","pushedAt":"2024-01-18T21:56:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-04 18/01/2024","shortMessageHtmlLink":"Upload-04 18/01/2024"}},{"before":"06f5a23420aa5a8a911be90eee42e81cd3e01693","after":"786cc2c745ac68e4c3c9366072eafba59258bb9b","ref":"refs/heads/master","pushedAt":"2024-01-18T20:46:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #10 from 28dvd28/Test_brench\n\nUpload-03 18/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2089023969\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/10/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/10\">#10</a> from 28dvd28/Test_brench"}},{"before":"b8efd3b8d13d93cfafcd1abae55c270fb7ebf6a5","after":"554e47a984577f4d2c0230fa39f19e92f9a20a7e","ref":"refs/heads/Test_brench","pushedAt":"2024-01-18T20:45:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-03 18/01/2024","shortMessageHtmlLink":"Upload-03 18/01/2024"}},{"before":"f65843aa3451502c87c1ca043a23b4bb22a31e94","after":"06f5a23420aa5a8a911be90eee42e81cd3e01693","ref":"refs/heads/master","pushedAt":"2024-01-18T20:38:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #9 from 28dvd28/Test_brench\n\nUpload-02 18/01/2024","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2089014840\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/9/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/9\">#9</a> from 28dvd28/Test_brench"}},{"before":"032e3b06b1c133f26f8b3d50c785aced22979550","after":"b8efd3b8d13d93cfafcd1abae55c270fb7ebf6a5","ref":"refs/heads/Test_brench","pushedAt":"2024-01-18T20:38:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-02 18/01/2024","shortMessageHtmlLink":"Upload-02 18/01/2024"}},{"before":"0c40defe872f21cdecca5b4865645e152df45625","after":"f65843aa3451502c87c1ca043a23b4bb22a31e94","ref":"refs/heads/master","pushedAt":"2024-01-18T02:21:03.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #8 from 28dvd28/Test_brench\n\nTest brench","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2087346846\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/8/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/8\">#8</a> from 28dvd28/Test_brench"}},{"before":"865aa141487831fc586f7f5b84e7f7a53b996b77","after":"032e3b06b1c133f26f8b3d50c785aced22979550","ref":"refs/heads/Test_brench","pushedAt":"2024-01-18T02:12:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-01 18/01/2024","shortMessageHtmlLink":"Upload-01 18/01/2024"}},{"before":"47ecbe94d33128748f7709875b4c2df1e91ffcac","after":"865aa141487831fc586f7f5b84e7f7a53b996b77","ref":"refs/heads/Test_brench","pushedAt":"2024-01-17T20:15:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-01 17/01/2024","shortMessageHtmlLink":"Upload-01 17/01/2024"}},{"before":"d5f82b372f09f0fc67d7f9b91a6e844bd989cc16","after":"47ecbe94d33128748f7709875b4c2df1e91ffcac","ref":"refs/heads/Test_brench","pushedAt":"2024-01-16T18:27:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-02 16/01/2024","shortMessageHtmlLink":"Upload-02 16/01/2024"}},{"before":"5d1a091a0e223c937eeaa893bdda061027a972f6","after":"0c40defe872f21cdecca5b4865645e152df45625","ref":"refs/heads/master","pushedAt":"2024-01-16T02:28:31.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Merge pull request #7 from 28dvd28/Test_brench\n\nMerge 16/01/2023","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2082914550\" data-permission-text=\"Title is private\" data-url=\"https://github.com/28dvd28/SAT-solver/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/28dvd28/SAT-solver/pull/7/hovercard\" href=\"https://github.com/28dvd28/SAT-solver/pull/7\">#7</a> from 28dvd28/Test_brench"}},{"before":"a4d3aa8c6d4c4770d9c5ced526079d1abe3f599c","after":"d5f82b372f09f0fc67d7f9b91a6e844bd989cc16","ref":"refs/heads/Test_brench","pushedAt":"2024-01-16T02:24:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-01 16/01/2024","shortMessageHtmlLink":"Upload-01 16/01/2024"}},{"before":"5c909f35af5e7f41e73ee5ab85ac30afd00d5da7","after":"a4d3aa8c6d4c4770d9c5ced526079d1abe3f599c","ref":"refs/heads/Test_brench","pushedAt":"2024-01-15T00:22:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"28dvd28","name":"Davide Cordioli","path":"/28dvd28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99896130?s=80&v=4"},"commit":{"message":"Upload-02 15/01/2024","shortMessageHtmlLink":"Upload-02 15/01/2024"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yMlQxNzoyOTowNy4wMDAwMDBazwAAAAPmGHPd","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yMlQxNzoyOTowNy4wMDAwMDBazwAAAAPmGHPd","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xNVQwMDoyMjozNy4wMDAwMDBazwAAAAPflF9v"}},"title":"Activity · 28dvd28/SAT-solver"}