Skip to content

Add GitHub Actions CI workflow#6

Merged
henrikje merged 1 commit intomainfrom
set-up-github-actions
Feb 16, 2026
Merged

Add GitHub Actions CI workflow#6
henrikje merged 1 commit intomainfrom
set-up-github-actions

Commits

Commits on Feb 16, 2026