Skip to content

Conversation

@github-actions
Copy link

This pull request sets the compat entry for the CoverageTools package to 1.
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.
Note: Consider registering a new release of your package immediately after merging this PR, as downstream packages may depend on this for tests to pass.

@shinaoka shinaoka force-pushed the compathelper/new_version/2024-11-16-00-27-20-359-03013611182 branch from 1abca43 to c6bfc8b Compare November 16, 2024 00:27
@terasakisatoshi
Copy link
Member

Do we really need "CoverageTools"?

@terasakisatoshi
Copy link
Member

I'm creating a PR removing this package ... #35

@terasakisatoshi
Copy link
Member

To register v0.4.7 we need this PR...

@terasakisatoshi terasakisatoshi merged commit daa306a into main Nov 16, 2024
@terasakisatoshi terasakisatoshi deleted the compathelper/new_version/2024-11-16-00-27-20-359-03013611182 branch November 16, 2024 00:48
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