Skip to content

Use GitHub Actions as the CI#187

Merged
tombruijn merged 2 commits intomainfrom github-actionsJan 11, 2024

Commits

Commits on Jan 11, 2024