This repository was archived by the owner on Nov 7, 2025. It is now read-only.
Branches
Default
| Branch | Updated | Check status | BehindAhead | Merge queue | Action menu |
|---|---|---|---|---|---|
![github-merge-queue[bot]](https://waps.l3s.uni-hannover.de/live/im_/https://avatars.githubusercontent.com/u/9919?s=32&v=4){kind=avatar} |
Active branches
| Branch | Updated | Check status | BehindAhead | Pull request | Action menu |
|---|---|---|---|---|---|
![dependabot[bot]](https://waps.l3s.uni-hannover.de/live/im_/https://avatars.githubusercontent.com/in/29110?s=32&v=4){kind=avatar} | |||||
| | |||||
| | |||||
| |