{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":726745879,"defaultBranch":"master","name":"sat-inv-matrix","ownerLogin":"vzhn","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-03T09:15:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/38166552?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1701594943.0","currentOid":""},"activityList":{"items":[{"before":"08feaf24eeb17a150093a50aec7a403ce41675a3","after":"4c034e5ec63b1df7a1fd9ab68103e65c66148379","ref":"refs/heads/master","pushedAt":"2023-12-08T19:38:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme.md","shortMessageHtmlLink":"readme.md"}},{"before":"8ffc55d6498c6ef96ae7248f3789908c63b9f240","after":"08feaf24eeb17a150093a50aec7a403ce41675a3","ref":"refs/heads/master","pushedAt":"2023-12-08T18:44:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme","shortMessageHtmlLink":"readme"}},{"before":"9ad69de11988ccdab95d6b8eb7ba6ac1817e3cdf","after":"8ffc55d6498c6ef96ae7248f3789908c63b9f240","ref":"refs/heads/master","pushedAt":"2023-12-08T18:44:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme","shortMessageHtmlLink":"readme"}},{"before":"67a4f0f77437b3504e0a3dbcf8c16526126f8532","after":"9ad69de11988ccdab95d6b8eb7ba6ac1817e3cdf","ref":"refs/heads/master","pushedAt":"2023-12-08T18:44:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme","shortMessageHtmlLink":"readme"}},{"before":"a2123dbadde61d6cea11a3348905a57b65f0f20e","after":"67a4f0f77437b3504e0a3dbcf8c16526126f8532","ref":"refs/heads/master","pushedAt":"2023-12-08T18:43:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme","shortMessageHtmlLink":"readme"}},{"before":"263653b18126d637773faeb07962043286ce2728","after":"a2123dbadde61d6cea11a3348905a57b65f0f20e","ref":"refs/heads/master","pushedAt":"2023-12-08T18:41:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme","shortMessageHtmlLink":"readme"}},{"before":"e7edcdf0b18477c2cb5607894feb972c9e61ecf9","after":"263653b18126d637773faeb07962043286ce2728","ref":"refs/heads/master","pushedAt":"2023-12-08T18:38:53.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"minor improvements","shortMessageHtmlLink":"minor improvements"}},{"before":"9580a88a38ded056d6effac258a244b086e12914","after":"e7edcdf0b18477c2cb5607894feb972c9e61ecf9","ref":"refs/heads/master","pushedAt":"2023-12-07T23:49:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"minor improvements","shortMessageHtmlLink":"minor improvements"}},{"before":"e0889f1072299dbdf3069cee508df0e8123d14d4","after":"9580a88a38ded056d6effac258a244b086e12914","ref":"refs/heads/master","pushedAt":"2023-12-07T23:47:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"minor improvements","shortMessageHtmlLink":"minor improvements"}},{"before":"111ee5d01a71642e89162402f3ab2a378f1292c4","after":"e0889f1072299dbdf3069cee508df0e8123d14d4","ref":"refs/heads/master","pushedAt":"2023-12-07T23:44:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"fix readme","shortMessageHtmlLink":"fix readme"}},{"before":"6c15227cef7357f573421260fb6da5e75688204c","after":"111ee5d01a71642e89162402f3ab2a378f1292c4","ref":"refs/heads/master","pushedAt":"2023-12-07T23:26:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"fix cnf clauses count","shortMessageHtmlLink":"fix cnf clauses count"}},{"before":"d0d96716860fddee2bc7824c28bb88c462387bbd","after":"6c15227cef7357f573421260fb6da5e75688204c","ref":"refs/heads/master","pushedAt":"2023-12-07T23:22:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"82ba2301b80ceac9037118ce25a3b3b7193ccdce","after":"d0d96716860fddee2bc7824c28bb88c462387bbd","ref":"refs/heads/master","pushedAt":"2023-12-07T23:17:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"note about invertible matrices","shortMessageHtmlLink":"note about invertible matrices"}},{"before":"50881c1db1cd1c8a3669b1e9c652d0b49cd4a2fb","after":"82ba2301b80ceac9037118ce25a3b3b7193ccdce","ref":"refs/heads/master","pushedAt":"2023-12-07T23:14:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme.md","shortMessageHtmlLink":"readme.md"}},{"before":"12a83444bb1d510402ec73d2c135ba8df365c8f3","after":"50881c1db1cd1c8a3669b1e9c652d0b49cd4a2fb","ref":"refs/heads/master","pushedAt":"2023-12-07T23:13:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme.md","shortMessageHtmlLink":"readme.md"}},{"before":"a250d935de9017f32e74832c12dfce39513b2375","after":"12a83444bb1d510402ec73d2c135ba8df365c8f3","ref":"refs/heads/master","pushedAt":"2023-12-07T23:12:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme.md","shortMessageHtmlLink":"readme.md"}},{"before":"dc55292b8d818edc05fe447e4b119fdfad946df8","after":"a250d935de9017f32e74832c12dfce39513b2375","ref":"refs/heads/master","pushedAt":"2023-12-07T22:34:20.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"readme improvements","shortMessageHtmlLink":"readme improvements"}},{"before":"607d9e01f6068a212c1e1f4ebd5db1d5ac82a4fc","after":"dc55292b8d818edc05fe447e4b119fdfad946df8","ref":"refs/heads/master","pushedAt":"2023-12-06T23:16:16.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"multiplication","shortMessageHtmlLink":"multiplication"}},{"before":null,"after":"607d9e01f6068a212c1e1f4ebd5db1d5ac82a4fc","ref":"refs/heads/master","pushedAt":"2023-12-03T09:15:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"vzhn","name":"Vladimir Zhilin","path":"/vzhn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38166552?s=80&v=4"},"commit":{"message":"inverting matrices with sat","shortMessageHtmlLink":"inverting matrices with sat"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wOFQxOTozODo0MC4wMDAwMDBazwAAAAPFoc88","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wOFQxOTozODo0MC4wMDAwMDBazwAAAAPFoc88","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wM1QwOToxNTo0My4wMDAwMDBazwAAAAO-71Wi"}},"title":"Activity · vzhn/sat-inv-matrix"}