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

Avoid crash on Julia nightly and run CI on this version #104

Merged
merged 2 commits into from
Jan 5, 2023

Conversation

giordano
Copy link
Contributor

@giordano giordano commented Jan 4, 2023

@codecov
Copy link

codecov bot commented Jan 4, 2023

Codecov Report

Merging #104 (10ba0f2) into master (b3f41b3) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #104      +/-   ##
==========================================
+ Coverage   88.78%   88.79%   +0.01%     
==========================================
  Files          20       20              
  Lines        1328     1330       +2     
==========================================
+ Hits         1179     1181       +2     
  Misses        149      149              
Impacted Files Coverage Δ
src/map_io.jl 90.66% <100.00%> (+0.25%) ⬆️

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

@ziotom78 ziotom78 merged commit 73e17d4 into ziotom78:master Jan 5, 2023
@giordano giordano deleted the mg/nightly branch January 5, 2023 11:28
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