Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.58%. Comparing base (7c45f40) to head (b5db8a1).
Report is 3 commits behind head on master.

@@           Coverage Diff           @@
##           master    #3919   +/-   ##
=======================================
  Coverage   99.58%   99.58%           
=======================================
  Files          43       43           
  Lines        6059     6059           
=======================================
  Hits         6034     6034           
  Misses         25       25           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

This add a route to break master, right?
Merging external PRs will need an extra check if Gurobi stuff is not touched.

Yeah. I need to find a better approach. Maybe I can #src some checks to the actual tutorials, rather than excluding them.

Closing in favor of #3924