Skip to content

Replace CI set up with GitHub actions#19

Merged
ebassi merged 1 commit intomasterfrom ci-actionsFeb 24, 2023

Commits

Commits on Feb 24, 2023