2025-09-23 - 2026-03-23

Overview

13 Active Pull Requests
11 Active Issues
Excluding merges, 1 author has pushed 5 commits to main and 40 commits to all branches. On main, 31 files have changed and there have been 2241 additions and 485 deletions.

12 Pull requests merged by 2 users

1 Pull request proposed by 1 user

Proposed #21 ci: add Gitea Actions workflow for make check 2026-02-20 11:48:38 +01:00

11 Issues closed from 2 users

11 Issues created by 0 users