Closed blegat closed 4 months ago
It would have caught some error on https://github.com/jump-dev/SumOfSquares.jl/pull/296
It would have caught some error on https://github.com/jump-dev/SumOfSquares.jl/pull/296