Skip to content

Conversation

@github-actions
Copy link
Contributor

This pull request changes the compat entry for the JuMP package from 0.23 to 0.23, 1.

This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry. It is your responsibility to make sure that your package tests pass before you merge this pull request.

@pulsipher pulsipher force-pushed the compathelper/new_version/2022-03-25-00-37-38-164-3188728332 branch from a9e83c1 to 182298b Compare March 25, 2022 00:37
@codecov
Copy link

codecov bot commented Mar 25, 2022

Codecov Report

Merging #257 (182298b) into master (d05cbc5) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #257   +/-   ##
=======================================
  Coverage   99.81%   99.81%           
=======================================
  Files          33       33           
  Lines        7071     7071           
=======================================
  Hits         7058     7058           
  Misses         13       13           

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@pulsipher pulsipher merged commit 88d77cf into master Mar 25, 2022
@pulsipher pulsipher deleted the compathelper/new_version/2022-03-25-00-37-38-164-3188728332 branch March 25, 2022 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants