Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Nov 9, 2023

This pull request changes the compat entry for the AbstractPPL package from 0.6 to 0.6, 0.7.
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/2023-11-09-00-08-00-159-00933786377 branch from cd37e2f to 4d386b4 Compare November 9, 2023 00:08
@yebai yebai enabled auto-merge November 9, 2023 11:56
…eep existing compat) (#559)

Co-authored-by: CompatHelper Julia <compathelper_noreply@julialang.org>
@yebai yebai disabled auto-merge November 9, 2023 13:45
@yebai yebai enabled auto-merge November 9, 2023 13:46
@github-actions
Copy link
Contributor Author

github-actions bot commented Nov 9, 2023

Pull Request Test Coverage Report for Build 6812663320

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

Totals Coverage Status
Change from base Build 6812461898: 0.0%
Covered Lines: 2537
Relevant Lines: 3161

💛 - Coveralls

@codecov
Copy link

codecov bot commented Nov 9, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (bda441b) 80.25% compared to head (ed435e7) 80.25%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #558   +/-   ##
=======================================
  Coverage   80.25%   80.25%           
=======================================
  Files          25       25           
  Lines        3161     3161           
=======================================
  Hits         2537     2537           
  Misses        624      624           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@yebai yebai added this pull request to the merge queue Nov 9, 2023
Merged via the queue into master with commit de23580 Nov 9, 2023
@yebai yebai deleted the compathelper/new_version/2023-11-09-00-08-00-159-00933786377 branch November 9, 2023 14:29
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