Closed standage closed 1 year ago
This PR is makes a few changes that clean up the test suite and CI build after nearly a year of neglect.
Looks pretty straightforward. I'll proceed with merging.
This PR is makes a few changes that clean up the test suite and CI build after nearly a year of neglect.
Any new features are tested (see the development manual for details)