{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":122066140,"defaultBranch":"master","name":"hanfor","ownerLogin":"ultimate-pa","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-02-19T13:27:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13460489?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726060932.0","currentOid":""},"activityList":{"items":[{"before":"cef3c9f95d322c6b84fb84a3c9f90c52bec57a6e","after":"400f5e1663c052dbc28df324702ca9d60e074bfc","ref":"refs/heads/telemetry","pushedAt":"2024-09-18T10:32:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tkolzer","name":"Tobias Kolzer","path":"/tkolzer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/98907817?s=80&v=4"},"commit":{"message":"added basic telemetry features: req open","shortMessageHtmlLink":"added basic telemetry features: req open"}},{"before":null,"after":"cef3c9f95d322c6b84fb84a3c9f90c52bec57a6e","ref":"refs/heads/telemetry","pushedAt":"2024-09-11T13:22:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tkolzer","name":"Tobias Kolzer","path":"/tkolzer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/98907817?s=80&v=4"},"commit":{"message":"first try","shortMessageHtmlLink":"first try"}},{"before":"53b4247cee674886e32fa9f3a702b60a82a1564c","after":null,"ref":"refs/heads/wip/tk/json_db","pushedAt":"2024-09-11T13:20:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tkolzer","name":"Tobias Kolzer","path":"/tkolzer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/98907817?s=80&v=4"}},{"before":"3ea032da937711dc760456274cf4b5713569c1fa","after":"bccb155f7bb4cce8862710358ec973f720105062","ref":"refs/heads/master","pushedAt":"2024-08-22T15:40:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"performance: build successor","shortMessageHtmlLink":"performance: build successor"}},{"before":"12e94d83d5e69f97ee8445fa69b07197ce64d1fd","after":"d2153c2a13ef7986dc4649ee8aa58417390fea5b","ref":"refs/heads/wip/mw/state_machine","pushedAt":"2024-08-15T20:59:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"werlingmi","name":"Mirko","path":"/werlingmi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38780906?s=80&v=4"},"commit":{"message":"Added more and detailed comments for future.","shortMessageHtmlLink":"Added more and detailed comments for future."}},{"before":"5ab879d361fa265419252faa5a05f8fea925332f","after":"3ea032da937711dc760456274cf4b5713569c1fa","ref":"refs/heads/master","pushedAt":"2024-08-15T16:14:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"added: sass","shortMessageHtmlLink":"added: sass"}},{"before":"db5623483418770bba4b3d20a202d7e47454035a","after":"5ab879d361fa265419252faa5a05f8fea925332f","ref":"refs/heads/master","pushedAt":"2024-08-15T15:52:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"removed: node-sass","shortMessageHtmlLink":"removed: node-sass"}},{"before":"e5eb9aa8db5c6db72ffe418279c9aa495a98a0dc","after":"db5623483418770bba4b3d20a202d7e47454035a","ref":"refs/heads/master","pushedAt":"2024-08-15T14:44:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"removed: python dependency Deprecated because it is built in","shortMessageHtmlLink":"removed: python dependency Deprecated because it is built in"}},{"before":"cba2934c7dc25426e0fcec378ef431ccc0e5fe4f","after":"6a81c1e926374f05e00e6dacee4bb23ac9e96cfa","ref":"refs/heads/gh-pages-staging","pushedAt":"2024-08-14T16:04:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Deployed e5eb9aa8 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed e5eb9aa with MkDocs version: 1.6.0"}},{"before":"609df41a9148de3a274a9938063b99b45e38e213","after":"480e4615b01be8e47efca0d976b01254dbc1ef19","ref":"refs/heads/gh-pages","pushedAt":"2024-08-14T16:04:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Deployed e5eb9aa8 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed e5eb9aa with MkDocs version: 1.6.0"}},{"before":"8d735727b76e3c0c63f529c94d5bc4723bac3112","after":"e5eb9aa8db5c6db72ffe418279c9aa495a98a0dc","ref":"refs/heads/master","pushedAt":"2024-08-14T16:04:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"updated: dependency markdown-captions is removed, image captions are built-in","shortMessageHtmlLink":"updated: dependency markdown-captions is removed, image captions are …"}},{"before":"31667351cca012dcfd3660f08040e771657c5eeb","after":"8d735727b76e3c0c63f529c94d5bc4723bac3112","ref":"refs/heads/master","pushedAt":"2024-08-14T15:57:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tkolzer","name":"Tobias Kolzer","path":"/tkolzer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/98907817?s=80&v=4"},"commit":{"message":"fixed bug in JS close #260","shortMessageHtmlLink":"fixed bug in JS close #260"}},{"before":"801a88bb5514b62d10b2eb3a48426929975fd525","after":"cba2934c7dc25426e0fcec378ef431ccc0e5fe4f","ref":"refs/heads/gh-pages-staging","pushedAt":"2024-08-14T13:16:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Deployed 31667351 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed 3166735 with MkDocs version: 1.6.0"}},{"before":"10d5ffb1c869fd34e019162c321b0ab8ae10546a","after":"609df41a9148de3a274a9938063b99b45e38e213","ref":"refs/heads/gh-pages","pushedAt":"2024-08-14T13:15:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Deployed 31667351 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed 3166735 with MkDocs version: 1.6.0"}},{"before":"da85d240045933bdf68b56579f4bd13f3e7c87a8","after":"31667351cca012dcfd3660f08040e771657c5eeb","ref":"refs/heads/master","pushedAt":"2024-08-14T13:15:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"added: academicons","shortMessageHtmlLink":"added: academicons"}},{"before":"b6972cf4c23346f8a87308db898f0d5b894e2dbb","after":"801a88bb5514b62d10b2eb3a48426929975fd525","ref":"refs/heads/gh-pages-staging","pushedAt":"2024-08-14T12:19:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Deployed da85d240 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed da85d24 with MkDocs version: 1.6.0"}},{"before":"60864d99dd7f374952e2bb39237068fd29cd7605","after":"10d5ffb1c869fd34e019162c321b0ab8ae10546a","ref":"refs/heads/gh-pages","pushedAt":"2024-08-14T12:19:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Deployed da85d240 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed da85d24 with MkDocs version: 1.6.0"}},{"before":"71838ce182f33594e1cb05859934bc76f1999daf","after":"da85d240045933bdf68b56579f4bd13f3e7c87a8","ref":"refs/heads/master","pushedAt":"2024-08-14T12:19:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Update: dependencies\n\nmkdocs-material~=9.5.31\nmkdocs-awesome-pages-plugin~=2.9.3","shortMessageHtmlLink":"Update: dependencies"}},{"before":"8e70831b37f56b2b3409dc6d2c480a66ea1ff4b8","after":"60864d99dd7f374952e2bb39237068fd29cd7605","ref":"refs/heads/gh-pages","pushedAt":"2024-08-14T12:13:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Deployed 71838ce1 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed 71838ce with MkDocs version: 1.6.0"}},{"before":"ae1c979afe23f765d5b16866ab83d6eb19c1e3a5","after":"b6972cf4c23346f8a87308db898f0d5b894e2dbb","ref":"refs/heads/gh-pages-staging","pushedAt":"2024-08-14T12:13:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Deployed 71838ce1 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed 71838ce with MkDocs version: 1.6.0"}},{"before":"95f9b01b050fc579376f3366ca492abf1c2670ef","after":"71838ce182f33594e1cb05859934bc76f1999daf","ref":"refs/heads/master","pushedAt":"2024-08-14T12:12:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Update: required python version to 3.12","shortMessageHtmlLink":"Update: required python version to 3.12"}},{"before":"345107cd4bbcc748d54e8d0d8cb62f9eaf51f2f3","after":"95f9b01b050fc579376f3366ca492abf1c2670ef","ref":"refs/heads/master","pushedAt":"2024-08-13T11:58:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tkolzer","name":"Tobias Kolzer","path":"/tkolzer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/98907817?s=80&v=4"},"commit":{"message":"updated feature flag for simulator","shortMessageHtmlLink":"updated feature flag for simulator"}},{"before":"34e3ac498c0029ea25a86adc2876afbe0b0d36ef","after":"345107cd4bbcc748d54e8d0d8cb62f9eaf51f2f3","ref":"refs/heads/master","pushedAt":"2024-08-13T11:56:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tkolzer","name":"Tobias Kolzer","path":"/tkolzer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/98907817?s=80&v=4"},"commit":{"message":"added feature flag for ultimate","shortMessageHtmlLink":"added feature flag for ultimate"}},{"before":"7f6f4493d2689233b32b706dab7b05e47b3dd045","after":"34e3ac498c0029ea25a86adc2876afbe0b0d36ef","ref":"refs/heads/master","pushedAt":"2024-08-13T09:00:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tkolzer","name":"Tobias Kolzer","path":"/tkolzer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/98907817?s=80&v=4"},"commit":{"message":"Redesigned feature flags","shortMessageHtmlLink":"Redesigned feature flags"}},{"before":"ac6fdbee65b1a87e1e7fa6587ada1e9facb318c8","after":"7f6f4493d2689233b32b706dab7b05e47b3dd045","ref":"refs/heads/master","pushedAt":"2024-08-07T16:51:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"henkele","name":null,"path":"/henkele","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38991676?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"98f6c73c5979b20d1c25218ef7e937aebd42d0b4","after":"ac6fdbee65b1a87e1e7fa6587ada1e9facb318c8","ref":"refs/heads/master","pushedAt":"2024-08-07T16:08:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hauff","name":"Nico Hauff","path":"/hauff","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13038993?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/ultimate-pa/hanfor","shortMessageHtmlLink":"Merge branch 'master' of https://github.com/ultimate-pa/hanfor"}},{"before":"9329941a7b5a593d90156144010104cf1d6f7f08","after":"05f639f04d0556944d1f8aee4f9cb1426953c384","ref":"refs/heads/wip/ad/variable_constraints","pushedAt":"2024-08-03T23:48:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abilyd","name":"Abby","path":"/abilyd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120501986?s=80&v=4"},"commit":{"message":"Fixed formula output. Output didn't match the tests described in the project paper due to a one-line error. Now they match.","shortMessageHtmlLink":"Fixed formula output. Output didn't match the tests described in the …"}},{"before":"cbf98d87009ec6f8da0b27174e6924148502f86b","after":"9329941a7b5a593d90156144010104cf1d6f7f08","ref":"refs/heads/wip/ad/variable_constraints","pushedAt":"2024-07-26T21:23:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"abilyd","name":"Abby","path":"/abilyd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120501986?s=80&v=4"},"commit":{"message":"Boolean and non-Boolean variables aren't handled separately anymore.","shortMessageHtmlLink":"Boolean and non-Boolean variables aren't handled separately anymore."}},{"before":"5c2ad4fd14178a87681e1c94c00c1fb103a66f36","after":"98f6c73c5979b20d1c25218ef7e937aebd42d0b4","ref":"refs/heads/master","pushedAt":"2024-07-25T14:09:49.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Langenfeld","name":null,"path":"/Langenfeld","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15321150?s=80&v=4"},"commit":{"message":"refactor: remove some warnings in the simulator","shortMessageHtmlLink":"refactor: remove some warnings in the simulator"}},{"before":"097110f9c86d2564455a93ed8b0060aeef575c75","after":"5c2ad4fd14178a87681e1c94c00c1fb103a66f36","ref":"refs/heads/master","pushedAt":"2024-07-24T08:42:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Langenfeld","name":null,"path":"/Langenfeld","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15321150?s=80&v=4"},"commit":{"message":"fix: do not leak the whole file path in xls reports","shortMessageHtmlLink":"fix: do not leak the whole file path in xls reports"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxMDozMjozNy4wMDAwMDBazwAAAAS5irnz","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxMDozMjozNy4wMDAwMDBazwAAAAS5irnz","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yNFQwODo0Mjo1NC4wMDAwMDBazwAAAASHs55X"}},"title":"Activity · ultimate-pa/hanfor"}