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

0.7 compat #83

Merged
merged 16 commits into from
Aug 11, 2018
Merged

0.7 compat #83

merged 16 commits into from
Aug 11, 2018

Conversation

oyamad
Copy link
Member

@oyamad oyamad commented Aug 10, 2018

(Some tests still fail for 0.7.)

@codecov-io
Copy link

codecov-io commented Aug 10, 2018

Codecov Report

Merging #83 into master will decrease coverage by 0.21%.
The diff coverage is 88.23%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #83      +/-   ##
==========================================
- Coverage   96.43%   96.22%   -0.22%     
==========================================
  Files           6        6              
  Lines         449      450       +1     
==========================================
  Hits          433      433              
- Misses         16       17       +1
Impacted Files Coverage Δ
src/pure_nash.jl 100% <100%> (ø) ⬆️
src/support_enumeration.jl 100% <100%> (ø) ⬆️
src/repeated_game.jl 91.3% <100%> (ø) ⬆️
src/random.jl 100% <100%> (ø) ⬆️
src/generators/bimatrix_generators.jl 100% <100%> (ø) ⬆️
src/normal_form_game.jl 94.06% <66.66%> (-0.81%) ⬇️

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 9835700...f4d0043. Read the comment docs.

@coveralls
Copy link

coveralls commented Aug 10, 2018

Coverage Status

Coverage decreased (-0.2%) to 96.222% when pulling f4d0043 on 0.7-compat into 9835700 on master.

@oyamad oyamad merged commit 485af48 into master Aug 11, 2018
@oyamad oyamad deleted the 0.7-compat branch August 11, 2018 13:58
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.

3 participants