Skip to content

Use github actions instead of azure pipelines for CI#108

Merged
rytilahti merged 4 commits intomasterfrom janitor/add_github_actions_ciFeb 20, 2022

Commits

Commits on Feb 20, 2022