Skip to content

chore: move CI pipeline to github actions#175

Open
bernardwolff wants to merge 6 commits intomasterfrom github_actions