{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":732108932,"defaultBranch":"main","name":"sat-solver","ownerLogin":"hstoklosa","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-15T17:02:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/68256286?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702659822.0","currentOid":""},"activityList":{"items":[{"before":"a8b0b5393b45a38236c9e30b245553bfe12ce274","after":"dcd0b4967472a311a835d75c7b89a3ab9b202642","ref":"refs/heads/main","pushedAt":"2024-03-01T20:07:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"hstoklosa","name":"Hubert Stoklosa","path":"/hstoklosa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68256286?s=80&v=4"},"commit":{"message":"update README","shortMessageHtmlLink":"update README"}},{"before":"52db4aa16a9fa84fc587cfbb63dd10260d0d773b","after":"a8b0b5393b45a38236c9e30b245553bfe12ce274","ref":"refs/heads/main","pushedAt":"2024-03-01T20:05:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hstoklosa","name":"Hubert Stoklosa","path":"/hstoklosa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68256286?s=80&v=4"},"commit":{"message":"update README","shortMessageHtmlLink":"update README"}},{"before":"9cda833c172508dd22764b4ae5d1ca97899fc236","after":"52db4aa16a9fa84fc587cfbb63dd10260d0d773b","ref":"refs/heads/main","pushedAt":"2024-03-01T20:05:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hstoklosa","name":"Hubert Stoklosa","path":"/hstoklosa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68256286?s=80&v=4"},"commit":{"message":"update code","shortMessageHtmlLink":"update code"}},{"before":"eba8355de2bec13792a36ab665ad3281381aeebf","after":"9cda833c172508dd22764b4ae5d1ca97899fc236","ref":"refs/heads/main","pushedAt":"2023-12-15T17:17:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hstoklosa","name":"Hubert Stoklosa","path":"/hstoklosa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68256286?s=80&v=4"},"commit":{"message":"upload implementation of the sat solver","shortMessageHtmlLink":"upload implementation of the sat solver"}},{"before":"1653314435dc3c8944312fdfee12c787c50c496c","after":"eba8355de2bec13792a36ab665ad3281381aeebf","ref":"refs/heads/main","pushedAt":"2023-12-15T17:15:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hstoklosa","name":"Hubert Stoklosa","path":"/hstoklosa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68256286?s=80&v=4"},"commit":{"message":"gather datasets for the testing","shortMessageHtmlLink":"gather datasets for the testing"}},{"before":"616a0f5ba60216681900eeaa313733ddd991def4","after":"1653314435dc3c8944312fdfee12c787c50c496c","ref":"refs/heads/main","pushedAt":"2023-12-15T17:10:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hstoklosa","name":"Hubert Stoklosa","path":"/hstoklosa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68256286?s=80&v=4"},"commit":{"message":"add tests","shortMessageHtmlLink":"add tests"}},{"before":null,"after":"616a0f5ba60216681900eeaa313733ddd991def4","ref":"refs/heads/main","pushedAt":"2023-12-15T17:03:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"hstoklosa","name":"Hubert Stoklosa","path":"/hstoklosa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/68256286?s=80&v=4"},"commit":{"message":"first commit","shortMessageHtmlLink":"first commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAECh2yagA","startCursor":null,"endCursor":null}},"title":"Activity · hstoklosa/sat-solver"}