{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":294415826,"defaultBranch":"main","name":"momba","ownerLogin":"koehlma","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-09-10T13:20:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/509209?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707604499.0","currentOid":""},"activityList":{"items":[{"before":"2d0177a0f83b97d2915a607a1e48be229695f676","after":null,"ref":"refs/tags/v0.6.10","pushedAt":"2024-02-10T22:34:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"}},{"before":"2d0177a0f83b97d2915a607a1e48be229695f676","after":"4c202d4602da18971dd5a41a1794c88a293274f9","ref":"refs/heads/main","pushedAt":"2024-02-10T22:32:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"fix: increment version to fix pypi publish (#15)","shortMessageHtmlLink":"fix: increment version to fix pypi publish (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128383493\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koehlma/momba/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/koehlma/momba/pull/15/hovercard\" href=\"https://github.com/koehlma/momba/pull/15\">#15</a>)"}},{"before":"d0c16d3d84c4df4c163b1aef376fc9d7008f1546","after":"2d0177a0f83b97d2915a607a1e48be229695f676","ref":"refs/heads/main","pushedAt":"2024-02-08T12:52:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"feat: add support for equality constraints in TA (#14)","shortMessageHtmlLink":"feat: add support for equality constraints in TA (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2125108191\" data-permission-text=\"Title is private\" data-url=\"https://github.com/koehlma/momba/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/koehlma/momba/pull/14/hovercard\" href=\"https://github.com/koehlma/momba/pull/14\">#14</a>)"}},{"before":"7f7a58e3b3f6581184e04faae9868240d2d79d88","after":"d0c16d3d84c4df4c163b1aef376fc9d7008f1546","ref":"refs/heads/main","pushedAt":"2024-02-05T15:45:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"docs: update badge","shortMessageHtmlLink":"docs: update badge"}},{"before":"4d90d126fe51f6fc35cf41c8a7545974e69a9950","after":"7f7a58e3b3f6581184e04faae9868240d2d79d88","ref":"refs/heads/main","pushedAt":"2024-02-05T14:54:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"chore: release 0.6.9","shortMessageHtmlLink":"chore: release 0.6.9"}},{"before":"4d90d126fe51f6fc35cf41c8a7545974e69a9950","after":null,"ref":"refs/tags/v0.6.9","pushedAt":"2024-02-05T14:53:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"}},{"before":"f709d1a94a6d47276300c99deb3f7f6b6dabb72e","after":"4d90d126fe51f6fc35cf41c8a7545974e69a9950","ref":"refs/heads/main","pushedAt":"2024-02-05T14:28:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"chore: dirty fix of types (needs cleanup)","shortMessageHtmlLink":"chore: dirty fix of types (needs cleanup)"}},{"before":"7d1ebef0b830737ff2190886fab2877afd3f48d5","after":"f709d1a94a6d47276300c99deb3f7f6b6dabb72e","ref":"refs/heads/main","pushedAt":"2024-02-05T14:17:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"chore: update dependencies and fix formatting","shortMessageHtmlLink":"chore: update dependencies and fix formatting"}},{"before":"e665cabb02aa0d70aec8d5c7bcc71753b4bad6a4","after":"7d1ebef0b830737ff2190886fab2877afd3f48d5","ref":"refs/heads/main","pushedAt":"2024-02-05T14:02:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"chore: update `immutables`","shortMessageHtmlLink":"chore: update <code>immutables</code>"}},{"before":"3f49b83b0107fab13406f9e5ecc3c597c8b85ab9","after":"e665cabb02aa0d70aec8d5c7bcc71753b4bad6a4","ref":"refs/heads/main","pushedAt":"2023-08-28T12:25:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"296087772e02c69f683b484c3db6b65c7242c131","after":"3f49b83b0107fab13406f9e5ecc3c597c8b85ab9","ref":"refs/heads/main","pushedAt":"2023-07-10T12:15:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"feat: statistical model checking","shortMessageHtmlLink":"feat: statistical model checking"}},{"before":"ffbc3d172c3e633537f2a23617072bcce68462d8","after":"296087772e02c69f683b484c3db6b65c7242c131","ref":"refs/heads/main","pushedAt":"2023-07-10T12:11:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"feat: statistical model checking","shortMessageHtmlLink":"feat: statistical model checking"}},{"before":"7b0daf7ec5586337d9399d348f4d20532a236143","after":"ffbc3d172c3e633537f2a23617072bcce68462d8","ref":"refs/heads/main","pushedAt":"2023-05-25T09:29:08.277Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"chore: ignore type errors in gym","shortMessageHtmlLink":"chore: ignore type errors in gym"}},{"before":"f83dad4150b6e8be40fac34523553e7d401562d9","after":"7b0daf7ec5586337d9399d348f4d20532a236143","ref":"refs/heads/main","pushedAt":"2023-05-25T08:54:51.630Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}},{"before":"5bdf39303beb9aacb8685f7901e3bba1095d1456","after":"f83dad4150b6e8be40fac34523553e7d401562d9","ref":"refs/heads/main","pushedAt":"2023-05-25T08:45:49.567Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"fix(types): ignore `gymnasium` types","shortMessageHtmlLink":"fix(types): ignore <code>gymnasium</code> types"}},{"before":"dbace545d32433f09431024e9717bde5cd8b5d5c","after":"5bdf39303beb9aacb8685f7901e3bba1095d1456","ref":"refs/heads/main","pushedAt":"2023-05-24T12:27:40.754Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"chore: switch from `gym` to `gymnasium`","shortMessageHtmlLink":"chore: switch from <code>gym</code> to <code>gymnasium</code>"}},{"before":"fd9cc2e523fd09a846dd409f5b38ab1e65f3ebbb","after":"dbace545d32433f09431024e9717bde5cd8b5d5c","ref":"refs/heads/main","pushedAt":"2023-05-24T12:23:27.754Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"fix: translator","shortMessageHtmlLink":"fix: translator"}},{"before":"d1d25b8ccac531d5e8e6768378312d2dd1b575ee","after":"fd9cc2e523fd09a846dd409f5b38ab1e65f3ebbb","ref":"refs/heads/main","pushedAt":"2023-05-24T12:18:33.792Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"fix: dependencies","shortMessageHtmlLink":"fix: dependencies"}},{"before":"c57e62cb4cb16240f1fe284ac23c0cf011ec908d","after":"d1d25b8ccac531d5e8e6768378312d2dd1b575ee","ref":"refs/heads/main","pushedAt":"2023-05-24T12:13:07.106Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"fix: translation of parameters in constants","shortMessageHtmlLink":"fix: translation of parameters in constants"}},{"before":"1ee64915ee04e0f3996ab4b6b4f6ef181a44cd37","after":"bfb493e5bba133813272c6958da938f8ab3506fd","ref":"refs/heads/next-gen-engine","pushedAt":"2023-05-24T12:10:29.302Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"fix: translation of parameters in constants","shortMessageHtmlLink":"fix: translation of parameters in constants"}},{"before":"80b73fefbef041b43b9b17f46ddf34eaab3fe740","after":"1ee64915ee04e0f3996ab4b6b4f6ef181a44cd37","ref":"refs/heads/next-gen-engine","pushedAt":"2023-05-08T15:00:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"fd0adbf3350bd8f5e85670449c7eafd23d7ff2a9","after":"80b73fefbef041b43b9b17f46ddf34eaab3fe740","ref":"refs/heads/next-gen-engine","pushedAt":"2023-05-08T06:49:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"092f78ea93cef877bf24fa2597f2829eef6c13f2","after":"fd0adbf3350bd8f5e85670449c7eafd23d7ff2a9","ref":"refs/heads/next-gen-engine","pushedAt":"2023-05-03T14:32:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"19d78173cc315d80d679b1021feb123457e7be4a","after":"092f78ea93cef877bf24fa2597f2829eef6c13f2","ref":"refs/heads/next-gen-engine","pushedAt":"2023-05-03T14:28:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"9253f25445360826ca6ce5c4df9a03873335d275","after":"19d78173cc315d80d679b1021feb123457e7be4a","ref":"refs/heads/next-gen-engine","pushedAt":"2023-05-03T14:04:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"e3f65838e3044b2f9c1e9c815ba7f0c9ebe01606","after":"9253f25445360826ca6ce5c4df9a03873335d275","ref":"refs/heads/next-gen-engine","pushedAt":"2023-05-03T11:51:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"3ccc537acc2a6e6dada06f8f87bb7cdd600ef695","after":"e3f65838e3044b2f9c1e9c815ba7f0c9ebe01606","ref":"refs/heads/next-gen-engine","pushedAt":"2023-05-03T08:32:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"5bf20a69d29b6add7f8745b022ab8239637e752a","after":"3ccc537acc2a6e6dada06f8f87bb7cdd600ef695","ref":"refs/heads/next-gen-engine","pushedAt":"2023-04-28T10:26:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"7882234b813b39dadfb75b7ede9a9957fe694571","after":"5bf20a69d29b6add7f8745b022ab8239637e752a","ref":"refs/heads/next-gen-engine","pushedAt":"2023-04-28T10:02:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"75a4c83ef13bfefa177e2f56730770302ec54776","after":"7882234b813b39dadfb75b7ede9a9957fe694571","ref":"refs/heads/next-gen-engine","pushedAt":"2023-04-28T09:49:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"koehlma","name":"Maximilian Köhl","path":"/koehlma","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/509209?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD93KWvgA","startCursor":null,"endCursor":null}},"title":"Activity · koehlma/momba"}