Skip to content

Update CI setup#10

Merged
mkatychev merged 12 commits intomasterfrom chore/ci-updateMar 26, 2024