So you’re cheating the automerge bot by registering what is essentially an empty package? That doesn’t seem like a good solution.
I would recommend making the solver parametric in your code (which is very easy with JuMP), and picking HiGHS.jl as the default. Users can then switch to Gurobi if they are able to get a license, and that way GitHub CI will be happy too.
2 Likes