Skip to content

Move remaining CI to Github actions#358

Merged
ChristophWurst merged 1 commit intomasterfrom
enhancement/github-actions
Jan 25, 2021
Merged

Move remaining CI to Github actions#358
ChristophWurst merged 1 commit intomasterfrom
enhancement/github-actions

Commits

Commits on Jan 25, 2021