Do not fail the CI if the Cywgin Codecov step fails#1131

james-d-mitchell merged 1 commit intosemigroups:stable-5.5semigroups/Semigroups:stable-5.5from

wilfwilson:ci-no-cygwin-codecov-ci-failurewilfwilson/Semigroups:ci-no-cygwin-codecov-ci-failureCopy head branch name to clipboard