Skip to content

Add a basic CI workflow#7

Merged
Munksgaard merged 1 commit intomasterfrom
ci
Feb 23, 2026
Merged

Add a basic CI workflow#7
Munksgaard merged 1 commit intomasterfrom
ci

Commits

Commits on Feb 23, 2026