2025-09-21 - 2026-03-21

Overview

0 Active Pull Requests
0 Active Issues
Excluding merges, 2 authors have pushed 29 commits to main and 29 commits to all branches. On main, 23 files have changed and there have been 6361 additions and 1525 deletions.

4 Releases published by 1 user

Published v1.2 Midterm: final corrections 2026-02-05 13:03:15 +01:00

Published v1.1 Midterm corrections: Fix TOC 2026-02-05 04:53:33 +01:00

Published v1.0 Midterm corrections 2026-02-05 04:48:37 +01:00

Published mid-v0.1 Rehearsal 2026-02-03 08:48:39 +01:00