2025-12-06 - 2026-06-06

Overview

6 Active Pull Requests
0 Active Issues
Excluding merges, 1 author has pushed 6 commits to main and 7 commits to all branches. On main, 3 files have changed and there have been 81 additions and 147 deletions.

6 Pull requests merged by 1 user

Merged #20 fix: replace single dash with double 2026-06-02 09:38:55 +02:00

Merged #19 fix: remove extra dash only lines from tables 2026-02-23 15:18:57 +01:00

Merged #18 fix: align docs with major new backend changes 2026-02-19 09:46:52 +01:00

Merged #16 New publish workflow instructions 2026-02-18 16:10:38 +01:00

Merged #17 feat: add new tomcat instruments 2026-02-18 11:21:25 +01:00

Merged #15 Add UI changes 2026-01-06 15:03:49 +01:00