Skip to content

Add CI pipeline with Github Actions#30

Merged
GiulioRomualdi merged 3 commits intodevelfrom feature/add-github-action-ciMay 14, 2020