Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI does not pass with julia 1.6, so test 1.7 instead
From the disscussion in the PR, it is not at all obvious to me what the proper solution here is.
- Loading branch information