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