Skip to content

Add JuMP Prefix to all JuMP Methods#98

Merged
pulsipher merged 2 commits intomasterfrom
jump_prefix
Dec 7, 2023
Merged

Add JuMP Prefix to all JuMP Methods#98
pulsipher merged 2 commits intomasterfrom
jump_prefix

Conversation

@pulsipher
Copy link
Collaborator

Closes #88.

@pulsipher pulsipher added the enhancement New feature or request label Dec 6, 2023
@pulsipher pulsipher self-assigned this Dec 6, 2023
@pulsipher pulsipher requested a review from hdavid16 December 6, 2023 16:09
@codecov
Copy link

codecov bot commented Dec 6, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (177c864) 99.90% compared to head (dc1fe89) 99.90%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #98   +/-   ##
=======================================
  Coverage   99.90%   99.90%           
=======================================
  Files          10       10           
  Lines        1004     1004           
=======================================
  Hits         1003     1003           
  Misses          1        1           

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

@pulsipher pulsipher merged commit ccceb26 into master Dec 7, 2023
@pulsipher pulsipher deleted the jump_prefix branch December 7, 2023 14:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Restore JuMP. prefixes

2 participants