Skip to content

Switch CI to github actions - #21

Open
jrmi wants to merge 2 commits into
masterfrom
switch-to-github-actions
Open

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

Commits

Commits on May 20, 2021