Closed mikedotexe closed 2 years ago
Looks like the CI hasn't been running for pull requests. This is my fault I believe, as I made the initial GitHub workflows. Let's fix that so we don't accidentally merge PRs that don't pass tests.
Looks like the CI hasn't been running for pull requests. This is my fault I believe, as I made the initial GitHub workflows. Let's fix that so we don't accidentally merge PRs that don't pass tests.