Skip to content

Conversation

@wilfwilson
Copy link
Collaborator

Just because CodeCov on Windows is too flakey. I don't think we lose too much in the potential unwanted case of the Windows CodeCov step silently failing in the long term.

By the way, I have added an additional seemingly-redundant line in an effort to avoid merge conflicts with #1104.

@wilfwilson wilfwilson added the ci A label for issues or PRs related to the continuous integration for Semigroups label Dec 3, 2025
@wilfwilson wilfwilson changed the title Do not fail the CI if the Cywgin CodeCov step fails Do not fail the CI if the Cywgin Codecov step fails Dec 3, 2025
@wilfwilson wilfwilson force-pushed the ci-no-cygwin-codecov-ci-failure branch from be27245 to 9460838 Compare December 3, 2025 16:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci A label for issues or PRs related to the continuous integration for Semigroups

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant