Skip to content

Add minimal CI#68

Merged
GernotMaier merged 4 commits into
mainfrom
CI
Jun 29, 2026
Merged

Add minimal CI#68
GernotMaier merged 4 commits into
mainfrom
CI

Commits

Commits on Jun 29, 2026