{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":660826811,"defaultBranch":"main","name":"specs","ownerLogin":"abakst","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-01T00:37:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/438788?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1688171843.0","currentOid":""},"activityList":{"items":[{"before":"8bbfe8d4c35fc0b8d9acd7451b868f801fa11511","after":"c72aadb2808047247341aa71743843c173e55888","ref":"refs/heads/main","pushedAt":"2023-07-12T23:53:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"boop a line","shortMessageHtmlLink":"boop a line"}},{"before":"88b67284cc5cad521e6bd112322753792ae209f1","after":"8bbfe8d4c35fc0b8d9acd7451b868f801fa11511","ref":"refs/heads/main","pushedAt":"2023-07-12T23:28:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"bloop","shortMessageHtmlLink":"bloop"}},{"before":"15427ee8cf7ba98da9f38508484b9d2a8d0eb458","after":"88b67284cc5cad521e6bd112322753792ae209f1","ref":"refs/heads/main","pushedAt":"2023-07-12T23:26:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"add support for interactive smtlib solvers (z3 and cvc5 for now)","shortMessageHtmlLink":"add support for interactive smtlib solvers (z3 and cvc5 for now)"}},{"before":"d0d0e4fecbc7993e734295e7072b008c76376cf5","after":"15427ee8cf7ba98da9f38508484b9d2a8d0eb458","ref":"refs/heads/main","pushedAt":"2023-07-07T15:33:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"array example","shortMessageHtmlLink":"array example"}},{"before":"19f4daf79d9654712d9e5536d452c25a396d47d4","after":"d0d0e4fecbc7993e734295e7072b008c76376cf5","ref":"refs/heads/main","pushedAt":"2023-07-05T17:24:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"arrays","shortMessageHtmlLink":"arrays"}},{"before":"138e8dedf9f81e21a66f3bbe23db1a677fdda64a","after":"19f4daf79d9654712d9e5536d452c25a396d47d4","ref":"refs/heads/main","pushedAt":"2023-07-03T19:46:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"ASDF","shortMessageHtmlLink":"ASDF"}},{"before":"db8992bb4be1e524b498222699f2c2c87f8ccafd","after":"138e8dedf9f81e21a66f3bbe23db1a677fdda64a","ref":"refs/heads/main","pushedAt":"2023-07-01T01:59:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"add example","shortMessageHtmlLink":"add example"}},{"before":"5d117497284286767c6576ce85f2fe1c8dafc733","after":"db8992bb4be1e524b498222699f2c2c87f8ccafd","ref":"refs/heads/main","pushedAt":"2023-07-01T01:58:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"clean a thing up","shortMessageHtmlLink":"clean a thing up"}},{"before":"7f723eb355b4277ca51b252fa646c0ab024df35e","after":"5d117497284286767c6576ce85f2fe1c8dafc733","ref":"refs/heads/main","pushedAt":"2023-07-01T01:45:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"Initial commit beep boop","shortMessageHtmlLink":"Initial commit beep boop"}},{"before":null,"after":"7f723eb355b4277ca51b252fa646c0ab024df35e","ref":"refs/heads/main","pushedAt":"2023-07-01T00:37:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"abakst","name":"Alexander Bakst","path":"/abakst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/438788?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADVGdjNgA","startCursor":null,"endCursor":null}},"title":"Activity · abakst/specs"}