Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jun 8, 2023

This pull request changes the compat entry for the DynamicPPL package from 0.21.5, 0.22 to 0.21.5, 0.22, 0.23.
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.

@cpfiffer cpfiffer force-pushed the compathelper/new_version/2023-06-08-00-31-25-073-03419357519 branch from cadcf65 to 8424d81 Compare June 8, 2023 00:31
@github-actions
Copy link
Contributor Author

github-actions bot commented Jun 8, 2023

Pull Request Test Coverage Report for Build 5206079542

  • 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 0.0%

Totals Coverage Status
Change from base Build 5188361914: 0.0%
Covered Lines: 0
Relevant Lines: 1424

💛 - Coveralls

@codecov
Copy link

codecov bot commented Jun 8, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (861ae37) 0.00% compared to head (8424d81) 0.00%.

Additional details and impacted files
@@          Coverage Diff           @@
##           master   #2004   +/-   ##
======================================
  Coverage    0.00%   0.00%           
======================================
  Files          21      21           
  Lines        1424    1424           
======================================
  Misses       1424    1424           

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

@yebai yebai mentioned this pull request Jun 9, 2023
@yebai yebai closed this in #2001 Jun 15, 2023
@yebai yebai deleted the compathelper/new_version/2023-06-08-00-31-25-073-03419357519 branch June 15, 2023 11:44
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.

0 participants