Use GitHub Workflow for CI#38
Open
RobertRosca wants to merge 13 commits intomasterfrom github-workflow
+130-140
Commits
Commits on Apr 7, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed