Skip to content

CompatHelper: bump compat for Parameters to 0.13, (keep existing compat)#216

Merged
michakraus merged 1 commit into
mainfrom
compathelper/new_version/2026-06-05-03-51-38-753-02543995236
Jun 11, 2026
Merged

CompatHelper: bump compat for Parameters to 0.13, (keep existing compat)#216
michakraus merged 1 commit into
mainfrom
compathelper/new_version/2026-06-05-03-51-38-753-02543995236

Conversation

@github-actions

@github-actions github-actions Bot commented Jun 5, 2026

Copy link
Copy Markdown
Contributor

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

@michakraus michakraus force-pushed the compathelper/new_version/2026-06-05-03-51-38-753-02543995236 branch from 889619d to 1eed691 Compare June 5, 2026 03:51
@codecov

codecov Bot commented Jun 5, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 57.84%. Comparing base (cfa5d41) to head (1eed691).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #216   +/-   ##
=======================================
  Coverage   57.84%   57.84%           
=======================================
  Files          98       98           
  Lines        7115     7115           
=======================================
  Hits         4116     4116           
  Misses       2999     2999           

☔ View full report in Codecov by Harness.
📢 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.

@michakraus michakraus merged commit 2412009 into main Jun 11, 2026
11 of 15 checks passed
@michakraus michakraus deleted the compathelper/new_version/2026-06-05-03-51-38-753-02543995236 branch June 11, 2026 11:37
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