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

Clean up dependencies #588

Merged
merged 1 commit into from
Jan 4, 2020
Merged

Clean up dependencies #588

merged 1 commit into from
Jan 4, 2020

Conversation

ali-ramadhan
Copy link
Member

No description provided.

@ali-ramadhan ali-ramadhan added the cleanup 🧹 Paying off technical debt label Dec 22, 2019
@codecov
Copy link

codecov bot commented Dec 23, 2019

Codecov Report

Merging #588 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #588   +/-   ##
=======================================
  Coverage   73.14%   73.14%           
=======================================
  Files          70       70           
  Lines        2011     2011           
=======================================
  Hits         1471     1471           
  Misses        540      540
Impacted Files Coverage Δ
src/Oceananigans.jl 75% <ø> (ø) ⬆️

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 2d8eaa5...820cf2c. Read the comment docs.

@glwagner glwagner merged commit 91a9f6d into master Jan 4, 2020
@ali-ramadhan ali-ramadhan deleted the ar/clean-deps branch January 13, 2020 00:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cleanup 🧹 Paying off technical debt
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants