Skip to content

Add GitHub CI#19

Merged
ReubenFrankel merged 6 commits intomasterfrom github-ciFeb 21, 2024