Closed edwardhartnett closed 1 year ago
Fixes #114 Fixes #117
CI improvements. Also fixed test.
OK, the extra CI testing found a problem in a test, which is fixed in this PR.
This is ready for review and merging.
Fixes #114 Fixes #117
CI improvements. Also fixed test.