Skip to content

Migrate from Travis to Github Actions#373

Merged
seuros merged 15 commits intoClosureTree:masterfrom
n-rodriguez:wip/github_actions
Jan 9, 2021
Merged

Migrate from Travis to Github Actions#373
seuros merged 15 commits intoClosureTree:masterfrom
n-rodriguez:wip/github_actions

Commits

Commits on Jan 9, 2021