Skip to content

Add copyright headers#139

Merged
odow merged 3 commits into
masterfrom
od/copyriht
Aug 28, 2022
Merged

Add copyright headers#139
odow merged 3 commits into
masterfrom
od/copyriht

Conversation

@odow

@odow odow commented Apr 28, 2022

Copy link
Copy Markdown
Member

@codecov

codecov Bot commented Apr 28, 2022

Copy link
Copy Markdown

Codecov Report

Merging #139 (029476d) into master (e246e6f) will increase coverage by 0.24%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #139      +/-   ##
==========================================
+ Coverage   78.84%   79.08%   +0.24%     
==========================================
  Files           3        3              
  Lines         260      263       +3     
==========================================
+ Hits          205      208       +3     
  Misses         55       55              
Impacted Files Coverage Δ
src/ECOS.jl 91.66% <ø> (ø)
src/MOI_wrapper/MOI_wrapper.jl 79.03% <ø> (+0.27%) ⬆️
src/MOI_wrapper/permuted_exponential_cone.jl 72.72% <ø> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@mlubin

mlubin commented Apr 29, 2022

Copy link
Copy Markdown
Member

CC @jfsantos @IainNZ (Your names are being removed from the copyright header, replaced with "ECOS.jl contributors")

@odow odow closed this Aug 28, 2022
@odow odow reopened this Aug 28, 2022
@odow

odow commented Aug 28, 2022

Copy link
Copy Markdown
Member Author

I updated to keep the names.

@odow odow merged commit 31ad19e into master Aug 28, 2022
@odow odow deleted the od/copyriht branch August 28, 2022 23:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants