Skip to content

Fix printing of parametric objectives#200

Merged
joaquimg merged 1 commit intomasterfrom
jg/print_obj
Jan 28, 2026
Merged

Fix printing of parametric objectives#200
joaquimg merged 1 commit intomasterfrom
jg/print_obj

Conversation

@joaquimg
Copy link
Member

No description provided.

@codecov
Copy link

codecov bot commented Jan 28, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.19%. Comparing base (8d064e0) to head (4e924d6).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #200   +/-   ##
=======================================
  Coverage   99.18%   99.19%           
=======================================
  Files           5        5           
  Lines        1479     1487    +8     
=======================================
+ Hits         1467     1475    +8     
  Misses         12       12           

☔ 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.

@joaquimg joaquimg merged commit 502a8cf into master Jan 28, 2026
8 checks passed
@joaquimg joaquimg deleted the jg/print_obj branch January 28, 2026 02:11
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.

1 participant