Skip to content

Conversation

@simonbowly
Copy link
Collaborator

@simonbowly simonbowly commented Oct 23, 2025

@odow we're expecting the final release around Nov 11, at which point we can build Gurobi_jll. This PR uses the headers from the 13.0 beta, which shouldn't see any changes.

I can't recall how this was done for 12.0 - did you merge these header additions into master and release a new Gurobi.jl version only once the JLL was ready?

@odow
Copy link
Member

odow commented Oct 23, 2025

Yeah we merged this first (we can make a release), and then made another release with JLL support.

@codecov
Copy link

codecov bot commented Oct 23, 2025

Codecov Report

❌ Patch coverage is 0% with 511 lines in your changes missing coverage. Please review.
✅ Project coverage is 78.74%. Comparing base (19882cf) to head (fa8286e).
⚠️ Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
src/gen130/libgrb_api.jl 0.00% 511 Missing ⚠️

❗ There is a different number of reports uploaded between BASE (19882cf) and HEAD (fa8286e). Click for more details.

HEAD has 1 upload less than BASE
Flag BASE (19882cf) HEAD (fa8286e)
19 18
Additional details and impacted files
@@             Coverage Diff             @@
##           master     #649       +/-   ##
===========================================
- Coverage   94.30%   78.74%   -15.57%     
===========================================
  Files           6        7        +1     
  Lines        2741     3166      +425     
===========================================
- Hits         2585     2493       -92     
- Misses        156      673      +517     

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@simonbowly
Copy link
Collaborator Author

simonbowly commented Oct 23, 2025

Righto. Well, fire when ready, I ran the tests through locally and got no errors. There are no backward compatibility issues with the C API to worry about (that I'm aware of). There are a couple of new features we could take advantage of (some new nonlinear opcodes and an improvement for callbacks) and but I'll open separate issues for those.

@odow odow merged commit 16a1c7a into master Oct 24, 2025
21 of 23 checks passed
@odow odow deleted the v13-beta branch October 24, 2025 00:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants