Skip to content

Basic CI github setup - #1

Merged
MarekOnd merged 6 commits into
mainfrom
dev
Sep 16, 2025
Merged

Basic CI github setup#1
MarekOnd merged 6 commits into
mainfrom
dev

Commits

Commits on Sep 16, 2025