setup GitHub Actions#243
Merged
izeigerman merged 14 commits intomasterfrom github_actionsJul 20, 2020
+61-5
Commits
Commits on Jun 12, 2020
- committed
- committed
Commits on Jun 13, 2020
Commits on Jun 18, 2020
Commits on Jun 19, 2020
Commits on Jun 23, 2020
Commits on Jun 26, 2020
Commits on Jul 1, 2020
Commits on Jul 6, 2020
Commits on Jul 7, 2020
Commits on Jul 16, 2020
Commits on Jul 19, 2020
- authored