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

Bump version to 0.17.1 #879

Merged
merged 1 commit into from
May 21, 2021
Merged

Bump version to 0.17.1 #879

merged 1 commit into from
May 21, 2021

Conversation

thofma
Copy link
Member

@thofma thofma commented May 21, 2021

No description provided.

@codecov
Copy link

codecov bot commented May 21, 2021

Codecov Report

Merging #879 (36ff2f8) into master (665821b) will increase coverage by 0.01%.
The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #879      +/-   ##
==========================================
+ Coverage   81.67%   81.69%   +0.01%     
==========================================
  Files          56       56              
  Lines       19633    19633              
==========================================
+ Hits        16036    16039       +3     
+ Misses       3597     3594       -3     
Impacted Files Coverage Δ
src/generic/Matrix.jl 91.30% <0.00%> (-0.16%) ⬇️
src/generic/RelSeries.jl 95.41% <0.00%> (ø)
src/generic/SparsePoly.jl 26.92% <0.00%> (+0.08%) ⬆️
src/generic/Poly.jl 92.05% <0.00%> (+0.11%) ⬆️
src/generic/LaurentSeries.jl 93.52% <0.00%> (+0.50%) ⬆️

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 665821b...36ff2f8. Read the comment docs.

@thofma
Copy link
Member Author

thofma commented May 21, 2021

Oscar is failing as expected, but we need to get this out to merge the Nemo PRs.

@thofma thofma merged commit 9fd86a5 into master May 21, 2021
@thofma thofma deleted the thofma-patch-9 branch December 14, 2021 11:02
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.

1 participant