Skip to content

Schemalint3#236

Closed
loriab wants to merge 46 commits into
masterfrom
schemalint3
Closed

Schemalint3#236
loriab wants to merge 46 commits into
masterfrom
schemalint3

Conversation

@loriab

@loriab loriab commented Aug 31, 2020

Copy link
Copy Markdown
Collaborator

everyone ignore this

@codecov

codecov Bot commented Aug 31, 2020

Copy link
Copy Markdown

Codecov Report

Merging #236 into master will decrease coverage by 0.24%.
The diff coverage is 89.75%.

@loriab

loriab commented Sep 4, 2020

Copy link
Copy Markdown
Collaborator Author

This has been subsumed into #237

@loriab loriab closed this Sep 4, 2020
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