Skip to content

Move to GitHub CI#5

Merged
michakraus merged 3 commits intomasterfrom github-ciNov 25, 2020