Skip to content

Add CI workflow + badge#9

Merged
JeroenRobben merged 1 commit into
mainfrom
ci-badges
Jun 15, 2026
Merged

Add CI workflow + badge#9
JeroenRobben merged 1 commit into
mainfrom
ci-badges

Commits

Commits on Jun 15, 2026