Skip to content

Conversation

@filchristou
Copy link
Contributor

Fixing #29.
Added a new function index_available to check if a property-value is valid.
Added some relative tests.

JuliaGraphs#29
Added a new function `index_available` to check if a property-value
is valid
Copy link
Member

@gdalle gdalle left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I approve these changes but I'm just wondering what kind of version bump this warrants: minor or patch?

@codecov
Copy link

codecov bot commented Jan 12, 2023

Codecov Report

Merging #35 (fd1ee3f) into master (b7a1070) will increase coverage by 0.02%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master      #35      +/-   ##
==========================================
+ Coverage   98.67%   98.69%   +0.02%     
==========================================
  Files           5        5              
  Lines         376      382       +6     
==========================================
+ Hits          371      377       +6     
  Misses          5        5              
Impacted Files Coverage Δ
src/MetaGraphs.jl 99.57% <100.00%> (+0.01%) ⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@filchristou
Copy link
Contributor Author

I approve these changes but I'm just wondering what kind of version bump this warrants: minor or patch?

I would say it's a patch, since it fixes what actually is a bug as described here. The new function index_available does not really add new functionality but just provides better readability.

@gdalle gdalle self-requested a review January 13, 2023 20:38
@gdalle gdalle merged commit 0b9a769 into JuliaGraphs:master Jan 13, 2023
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.

2 participants