CI pipeline
Closed this issue · 1 comments
woylie commented
Would you mind if I opened a PR to add a workflow config for Github actions?
mathieuprog commented
Yes please do. Didn't have a look yet but would be nice to have small separate PRs for each different purpose.