Skip to content

Switch CI to github actions#21

Open
jrmi wants to merge 2 commits intomasterfrom
switch-to-github-actions
Open

Switch CI to github actions#21
jrmi wants to merge 2 commits intomasterfrom
switch-to-github-actions

Commits

Commits on May 20, 2021