Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tests: Fix filenames for CI (better)
This is much simpler.
- Loading branch information
This is much simpler.