{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":755159939,"defaultBranch":"main","name":"z3-dotnet","ownerLogin":"markusbrammer","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-09T14:49:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/62746606?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707490332.0","currentOid":""},"activityList":{"items":[{"before":"ee466ee878868b10e280b64db1c120096505d498","after":"795a4f7ade523f93a6627d95dafb4487eb122c6f","ref":"refs/heads/main","pushedAt":"2024-03-14T13:26:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"Added set and simple function example","shortMessageHtmlLink":"Added set and simple function example"}},{"before":"5ec45db191760abb96cd0d200b5bde3f6ed3d3df","after":"ee466ee878868b10e280b64db1c120096505d498","ref":"refs/heads/main","pushedAt":"2024-02-21T11:14:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"Added Array example","shortMessageHtmlLink":"Added Array example"}},{"before":"3821bb15ae244755d54e4db572b49b910ae4b209","after":"5ec45db191760abb96cd0d200b5bde3f6ed3d3df","ref":"refs/heads/main","pushedAt":"2024-02-21T07:41:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"Added .gitignore","shortMessageHtmlLink":"Added .gitignore"}},{"before":"a7ac53ae694088b1b38753fc87ffd9af0224d5d3","after":"3821bb15ae244755d54e4db572b49b910ae4b209","ref":"refs/heads/main","pushedAt":"2024-02-19T16:08:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"README: Added API documentation links","shortMessageHtmlLink":"README: Added API documentation links"}},{"before":"7ce5061f93c4cac5769a0207b0c42e10a7c92c4f","after":"a7ac53ae694088b1b38753fc87ffd9af0224d5d3","ref":"refs/heads/main","pushedAt":"2024-02-19T16:05:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"OptionSort: Added example with Solver, Model, and Eval","shortMessageHtmlLink":"OptionSort: Added example with Solver, Model, and Eval"}},{"before":"1e9a9a9a89937b19c22d044bb7c76a45f9358072","after":"7ce5061f93c4cac5769a0207b0c42e10a7c92c4f","ref":"refs/heads/main","pushedAt":"2024-02-19T15:51:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"Added OptionSort example","shortMessageHtmlLink":"Added OptionSort example"}},{"before":"e9fc5de714333c0c820612b9b0fdf51d7853beb4","after":"1e9a9a9a89937b19c22d044bb7c76a45f9358072","ref":"refs/heads/main","pushedAt":"2024-02-14T09:56:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"Added example with EnumSort","shortMessageHtmlLink":"Added example with EnumSort"}},{"before":"d28ac9e0370c2c17b6ab1220f9d807d56bf783c8","after":"e9fc5de714333c0c820612b9b0fdf51d7853beb4","ref":"refs/heads/main","pushedAt":"2024-02-12T09:14:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"Added getters/accessors in BinaryTree example","shortMessageHtmlLink":"Added getters/accessors in BinaryTree example"}},{"before":"fd351e63cff5070a6c5476d26428badf391f5258","after":"d28ac9e0370c2c17b6ab1220f9d807d56bf783c8","ref":"refs/heads/main","pushedAt":"2024-02-12T08:47:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"Added tuple example","shortMessageHtmlLink":"Added tuple example"}},{"before":"450c92bebb59a76b7b7d086c66ef23b1a3bb518f","after":"fd351e63cff5070a6c5476d26428badf391f5258","ref":"refs/heads/main","pushedAt":"2024-02-09T14:53:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"examples/tree.fsx -> examples/BinaryTree.fsx","shortMessageHtmlLink":"examples/tree.fsx -> examples/BinaryTree.fsx"}},{"before":null,"after":"450c92bebb59a76b7b7d086c66ef23b1a3bb518f","ref":"refs/heads/main","pushedAt":"2024-02-09T14:52:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"markusbrammer","name":"Markus Brammer Jensen","path":"/markusbrammer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/62746606?s=80&v=4"},"commit":{"message":"Initial commit: Binary tree example","shortMessageHtmlLink":"Initial commit: Binary tree example"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEFavWDgA","startCursor":null,"endCursor":null}},"title":"Activity · markusbrammer/z3-dotnet"}