Skip to content

Migrate to github actions from travis-ci#22

Merged
maratori merged 1 commit intomasterfrom github-actionsJun 20, 2022
+39-17

Commits

Commits on Jun 20, 2022