Skip to content

Add a minimal CI job#21

Merged
markaren merged 2 commits intomasterfrom
minimal_ci_job
Oct 23, 2025
Merged

Add a minimal CI job#21
markaren merged 2 commits intomasterfrom
minimal_ci_job

Commits

Commits on Oct 23, 2025