2025-12-21 - 2026-03-21

Overview

0 Active Pull Requests
0 Active Issues
Excluding merges, 1 author has pushed 17 commits to main and 17 commits to all branches. On main, 7 files have changed and there have been 4615 additions and 1238 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