Skip to content

Add CI via Github actions#107

Merged
mseitzer merged 4 commits intomasterfrom mseitzer/ciMar 16, 2024