Skip to content

add Github Actions CI#140

Merged
grische merged 2 commits intomholt:masterfrom grische:feature/github-ciJul 25, 2024

Commits

Commits on Jul 25, 2024