Skip to content

Conversation

@edif2008
Copy link
Member

Currently no PRs can be merged since the codecov step doesn't work anymore. Fixing that is a lengthy process, so to temporarily unblock important PRs from being merged (i.e. #116, #114, #107), we will remove this from our pipeline.

@edif2008
Copy link
Member Author

edif2008 commented Dec 19, 2024

Closing and moving this as part of #116

@edif2008 edif2008 closed this Dec 19, 2024
@edif2008 edif2008 deleted the fix/remove-codecov branch December 19, 2024 18:17
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