Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enhancement: Update schema.json #334

Merged
merged 1 commit into from
Jan 19, 2020
Merged

Enhancement: Update schema.json #334

merged 1 commit into from
Jan 19, 2020

Conversation

ergebnis-bot
Copy link
Member

This PR

  • updates schema.json

@localheinz localheinz self-requested a review January 19, 2020 09:24
@localheinz localheinz self-assigned this Jan 19, 2020
@codecov
Copy link

codecov bot commented Jan 19, 2020

Codecov Report

Merging #334 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff            @@
##             master     #334   +/-   ##
=========================================
  Coverage     87.43%   87.43%           
  Complexity       38       38           
=========================================
  Files             4        4           
  Lines           191      191           
=========================================
  Hits            167      167           
  Misses           24       24

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 1421318...d85433e. Read the comment docs.

@localheinz
Copy link
Member

@szepeviktor

Works nicely now!

Could auto-approve as well, but probably makes sense to update CHANGELOG.md when upstream schema changes have occurred.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants