Skip to content

Attempt to fix the failure in the coverage step of the GH actions#16

Merged
mcol merged 1 commit intomasterfrom
fix-coverage-failure
Sep 23, 2025
Merged

Attempt to fix the failure in the coverage step of the GH actions#16
mcol merged 1 commit intomasterfrom
fix-coverage-failure

Conversation

@mcol
Copy link
Member

@mcol mcol commented Sep 23, 2025

Currently it fails with this error:

   Error: Error in loadNamespace(xml2) : there is no package called ‘xml2’

We don't use package xml2, but it's required by covr::to_cobertura().

Currently it fails with this error:
   Error: Error in loadNamespace(xml2) : there is no package called ‘xml2’

We don't use package xml2, but it's used by covr::to_cobertura().

This simplifies a bit the workflow file.
@mcol mcol force-pushed the fix-coverage-failure branch from 053d490 to 9365756 Compare September 23, 2025 09:22
@mcol mcol merged commit 01ef316 into master Sep 23, 2025
1 check passed
@mcol mcol deleted the fix-coverage-failure branch September 23, 2025 09:49
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.

1 participant