Skip to content

Run tests in GitHub workflow instead of Docker#15

Merged
Sean-Der merged 1 commit intomainfrom better-testingDec 6, 2023