2025-07-14 - 2026-07-14

Overview

1 active pull request
0 active issues
Excluding merges, 1 author has pushed 23 commits to main and 24 commits to all branches. On main, 121 files have changed and there have been 8039 additions and 1374 deletions.

1 pull request merged by 1 user

Merged #1 Adopt shared ci-actions for publishing 2026-06-06 15:18:01 +01:00