Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: always test treehash mismatch handling code path
On the one hand, this helps ensure it doesn't get broken. On the other hand it avoids or at least reduces code coverage fluctuations that happen when we switch from a situation with a treehash mismatch (which thus tests that code path) to one without a treehash mismatch (which does not test it) when updating libsingular_julia_jll.
- Loading branch information