Skip to content

CI: introduce first CI workflow#13

Merged
MathisWellmann merged 2 commits intomainfrom
introduce-ci
Feb 5, 2026
Merged

CI: introduce first CI workflow#13
MathisWellmann merged 2 commits intomainfrom
introduce-ci

Commits

Commits on Feb 5, 2026