Migrate from Travis to Github Actions#373
Merged
seuros merged 15 commits intoClosureTree:masterfrom Jan 9, 2021
n-rodriguez:wip/github_actions
Merged
Migrate from Travis to Github Actions#373seuros merged 15 commits intoClosureTree:masterfrom n-rodriguez:wip/github_actions
seuros merged 15 commits intoClosureTree:masterfrom
n-rodriguez:wip/github_actions
Commits
Commits on Jan 9, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed