chore: setup GitHub Actions workflow for continuous integration#3723
Merged
monperrus merged 20 commits intoINRIA:master from slarse:issue/3600-setup-gh-actionsDec 9, 2020
+65
Commits
Commits on Dec 8, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed