How does Gurobi compute the IIS for infeasible models with integer variables?

From the article "How does Gurobi compute the IIS for infeasible models?" it is not clear what happens for non-convex models (although it is helpful as a starting point). Is there any public information about how this case is handled?