Skip to content

Add rudimentary CI#1

Merged
aschepis merged 1 commit intomainfrom aschepis/add-ciMar 28, 2024

Commits

Commits on Mar 27, 2024