Skip to content
This repository has been archived by the owner on Feb 18, 2024. It is now read-only.

Removed last miri failure #110

Merged
merged 1 commit into from
May 21, 2021
Merged

Removed last miri failure #110

merged 1 commit into from
May 21, 2021

Conversation

jorgecarleitao
Copy link
Owner

No description provided.

@jorgecarleitao jorgecarleitao added the bug Something isn't working label May 21, 2021
@jorgecarleitao
Copy link
Owner Author

ccing @roee88 , which actually found the solution to this in apache/arrow-rs#323

@codecov
Copy link

codecov bot commented May 21, 2021

Codecov Report

Merging #110 (6ee36b1) into main (59c8bb8) will increase coverage by 0.01%.
The diff coverage is 94.73%.

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #110      +/-   ##
==========================================
+ Coverage   76.33%   76.34%   +0.01%     
==========================================
  Files         199      199              
  Lines       16945    16949       +4     
==========================================
+ Hits        12935    12940       +5     
+ Misses       4010     4009       -1     
Impacted Files Coverage Δ
src/ffi/ffi.rs 75.09% <94.73%> (+0.74%) ⬆️

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 59c8bb8...6ee36b1. Read the comment docs.

@jorgecarleitao jorgecarleitao merged commit a1ee06e into main May 21, 2021
@jorgecarleitao jorgecarleitao deleted the miri branch May 21, 2021 15:44
@jorgecarleitao jorgecarleitao changed the title Removed miri failure. Removed last miri failure May 21, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant