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 Trixi to 0.8, (keep existing compat) #7

Merged

Conversation

github-actions[bot]
Copy link
Contributor

This pull request changes the compat entry for the Trixi package from 0.7 to 0.7, 0.8.
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-07-17-00-23-06-882-03681586418 branch from 9579895 to bc7a0dd Compare July 17, 2024 00:23
Copy link
Member

@ranocha ranocha left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The change should be fine but why does CI not run?

@coveralls
Copy link

coveralls commented Jul 17, 2024

Pull Request Test Coverage Report for Build 9969808836

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 100.0%

Totals Coverage Status
Change from base Build 9959098082: 0.0%
Covered Lines: 4
Relevant Lines: 4

💛 - Coveralls

@benegee benegee closed this Jul 17, 2024
@benegee benegee reopened this Jul 17, 2024
@benegee benegee enabled auto-merge (squash) July 17, 2024 08:09
@benegee benegee disabled auto-merge July 17, 2024 08:19
@benegee benegee merged commit 14576c2 into main Jul 17, 2024
7 checks passed
@benegee benegee deleted the compathelper/new_version/2024-07-17-00-23-06-882-03681586418 branch July 17, 2024 08:19
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.

3 participants