Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CompatHelper: bump compat for SCIP in [weakdeps] to 0.12, (keep existing compat) #21

Merged

Conversation

github-actions[bot]
Copy link

This pull request changes the compat entry for the SCIP package from 0.11.14 to 0.11.14, 0.12.
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.

@sstroemer sstroemer force-pushed the compathelper/new_version/2024-10-22-01-50-05-373-02497603689 branch from 1728cbd to 5e84dd3 Compare October 22, 2024 01:50
Copy link

codecov bot commented Oct 22, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 52.45%. Comparing base (fe9989c) to head (5e84dd3).

@@           Coverage Diff           @@
##             main      #21   +/-   ##
=======================================
  Coverage   52.45%   52.45%           
=======================================
  Files          99       99           
  Lines        3794     3794           
=======================================
  Hits         1990     1990           
  Misses       1804     1804           

@sstroemer sstroemer force-pushed the compathelper/new_version/2024-10-22-01-50-05-373-02497603689 branch from 5e84dd3 to 6418e14 Compare November 20, 2024 00:20
@sstroemer sstroemer merged commit 6d63fec into main Nov 20, 2024
3 checks passed
@sstroemer sstroemer deleted the compathelper/new_version/2024-10-22-01-50-05-373-02497603689 branch November 20, 2024 00:42
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.

1 participant