Skip to content

skip SCIP_ERROR line in coverage#1098

Closed
Joao-Dionisio wants to merge 2 commits intomasterfrom
suppress-coverage-error
Closed

skip SCIP_ERROR line in coverage#1098
Joao-Dionisio wants to merge 2 commits intomasterfrom
suppress-coverage-error

Conversation

@Joao-Dionisio
Copy link
Copy Markdown
Member

Every coverage run yielded the following annotation error:

image

It's not critical, and it was annoying me, so I'll try to suppress it.

@Joao-Dionisio
Copy link
Copy Markdown
Member Author

ah, it seems that we either have this annotation error, or we need to change the tests. Oh well, I'll live with it, for now.

@Joao-Dionisio Joao-Dionisio deleted the suppress-coverage-error branch January 14, 2026 20:33
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