fix: removing covbadge to free the build #87
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR removes the covbadge build step in order prevent our build from being persistently halted by its faultiness. If merged, we would need to document the fact that this is a temporary change, meaning we would need to reconsider how to fix this issue down the line. For now, considering how 'green' the code base is, we need to prioritize other features.
I will create another PR that reverts this one so that we will have a pending re-implementation of this PR. I will put a note that it needs to be a
hold
status.This closes #86, closes #84, and closes #82