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.13.0 #494

Merged
merged 1 commit into from
Oct 23, 2019
Merged

Bump version to 0.13.0 #494

merged 1 commit into from
Oct 23, 2019

Conversation

ali-ramadhan
Copy link
Member

@ali-ramadhan ali-ramadhan commented Oct 22, 2019

This is an important tag/release because the model now has k=1 at the bottom which effects post-processing and plotting scripts.

@codecov
Copy link

codecov bot commented Oct 22, 2019

Codecov Report

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

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #494   +/-   ##
=======================================
  Coverage   73.34%   73.34%           
=======================================
  Files          27       27           
  Lines        1508     1508           
=======================================
  Hits         1106     1106           
  Misses        402      402

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 41a2b55...cd6edef. Read the comment docs.

@ali-ramadhan ali-ramadhan merged commit e98cb43 into master Oct 23, 2019
@ali-ramadhan ali-ramadhan deleted the ar/bump-v0.13.0 branch October 23, 2019 01:06
arcavaliere pushed a commit to arcavaliere/Oceananigans.jl that referenced this pull request Nov 6, 2019
Bump version to 0.13.0

Former-commit-id: e98cb43
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