Skip to content

Move CI to Github actions#84

Merged
Obi-Dann merged 1 commit intomasterfrom
Move-to-github-actions
Jan 22, 2023

Commits

Commits on Jan 22, 2023