create basic Github action#891
Merged
KrisThielemans merged 11 commits intomasterfrom GHAApr 15, 2021
+75-1
Commits
Commits on Apr 13, 2021
- committed
- committed
- committed
Commits on Apr 14, 2021
- committed
- committed
- committed
- committed
- committed
- committed