Skip to content

Comments

chore: added coverage.xml to gitignore#1040

Merged
ErikBjare merged 1 commit intomainfrom
dev/gitignore-coverage
Feb 29, 2024
Merged

chore: added coverage.xml to gitignore#1040
ErikBjare merged 1 commit intomainfrom
dev/gitignore-coverage

Conversation

@ErikBjare
Copy link
Collaborator

No description provided.

@ErikBjare ErikBjare merged commit 69fe820 into main Feb 29, 2024
@ErikBjare ErikBjare deleted the dev/gitignore-coverage branch February 29, 2024 14:35
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