Skip to content

Switch to using GitHub actions#41

Merged
omus merged 5 commits intomasterfrom cv/ghaFeb 18, 2022