Skip to content

Replace Travis with GitHub Actions - #8

Merged
ddeboer merged 1 commit into
masterfrom
github-actions
Mar 6, 2022
Merged

Replace Travis with GitHub Actions#8
ddeboer merged 1 commit into
masterfrom
github-actions

Commits

Commits on Mar 6, 2022