Skip to content

global var to constant #762

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

Merged
merged 1 commit into from
Oct 18, 2021
Merged

global var to constant #762

merged 1 commit into from
Oct 18, 2021

Conversation

matbesancon
Copy link
Contributor

I assume the type alias does not need to be changed, a global const will be more appropriate

@codecov
Copy link

codecov bot commented Oct 18, 2021

Codecov Report

Merging #762 (0f25bed) into master (2c7480a) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #762   +/-   ##
=======================================
  Coverage   91.88%   91.88%           
=======================================
  Files          53       53           
  Lines        8000     8000           
=======================================
  Hits         7351     7351           
  Misses        649      649           
Impacted Files Coverage Δ
src/Solvers/process.jl 95.36% <ø> (ø)

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 2c7480a...0f25bed. Read the comment docs.

Copy link
Collaborator

@chriscoey chriscoey left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @matbesancon!

@chriscoey
Copy link
Collaborator

I'm sure there are more issues like this lurking in the code, so please don't stop 😆

@chriscoey chriscoey merged commit 77e1388 into master Oct 18, 2021
@chriscoey chriscoey deleted the global-const branch October 18, 2021 14:01
@matbesancon
Copy link
Contributor Author

well this one was an easy fix at least 😄

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

2 participants