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

fix: Bug for additionalProperties: false #61

Merged
merged 1 commit into from
May 19, 2020

Conversation

Stranger6667
Copy link
Owner

@Stranger6667 Stranger6667 commented May 19, 2020

Fixes #58

@codecov
Copy link

codecov bot commented May 19, 2020

Codecov Report

Merging #61 into master will increase coverage by 0.44%.
The diff coverage is 100.00%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #61      +/-   ##
==========================================
+ Coverage   83.99%   84.44%   +0.44%     
==========================================
  Files          45       45              
  Lines        3137     3143       +6     
==========================================
+ Hits         2635     2654      +19     
+ Misses        502      489      -13     
Impacted Files Coverage Δ
src/keywords/additional_properties.rs 86.29% <100.00%> (+0.40%) ⬆️
src/keywords/mod.rs 100.00% <100.00%> (ø)
src/compilation.rs 90.90% <0.00%> (+9.09%) ⬆️

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 ea0d88c...0cbf882. Read the comment docs.

@Stranger6667 Stranger6667 merged commit 647ad44 into master May 19, 2020
@Stranger6667 Stranger6667 deleted the dd/additional-properties branch May 19, 2020 14:05
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.

Bug in AdditionalPropertiesFalseValidator
1 participant