Skip to content

Move CI from Travis to GitHub Actions#866

Merged
wpolicarpo merged 1 commit intomainfrom
github-actions
Apr 5, 2021
Merged

Move CI from Travis to GitHub Actions#866
wpolicarpo merged 1 commit intomainfrom
github-actions

Commits

Commits on Apr 5, 2021