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 DynamicPPL to 0.26 for package turing, (keep existing compat) #603

Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented May 9, 2024

This pull request changes the compat entry for the DynamicPPL package from 0.24, 0.25 to 0.24, 0.25, 0.26 for package turing.
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.

@github-actions github-actions bot force-pushed the compathelper/new_version/2024-05-09-00-09-56-961-00177252951 branch from f44f123 to b4f0ce7 Compare May 9, 2024 00:10
@yebai yebai enabled auto-merge May 10, 2024 12:30
Copy link
Contributor Author

Pull Request Test Coverage Report for Build 9032250016

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage decreased (-1.6%) to 76.932%

Totals Coverage Status
Change from base Build 9029996782: -1.6%
Covered Lines: 2748
Relevant Lines: 3572

💛 - Coveralls

@coveralls
Copy link

coveralls commented May 10, 2024

Pull Request Test Coverage Report for Build 9032250016

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 78.519%

Totals Coverage Status
Change from base Build 9029996782: 0.0%
Covered Lines: 2789
Relevant Lines: 3552

💛 - Coveralls

@yebai yebai added this pull request to the merge queue May 10, 2024
Merged via the queue into master with commit 5b53be7 May 10, 2024
11 of 12 checks passed
@yebai yebai deleted the compathelper/new_version/2024-05-09-00-09-56-961-00177252951 branch May 10, 2024 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.

None yet

2 participants