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

Fix requirements #17

Merged
merged 3 commits into from
Jun 21, 2017
Merged

Fix requirements #17

merged 3 commits into from
Jun 21, 2017

Conversation

rdeits
Copy link
Contributor

@rdeits rdeits commented Jun 21, 2017

No description provided.

@coveralls
Copy link

coveralls commented Jun 21, 2017

Coverage Status

Coverage remained the same at 75.743% when pulling 3850fe2 on rdeits:no-compat into 34d3fbd on JuliaPolyhedra:master.

@rdeits rdeits changed the title don't require compat Fix requirements Jun 21, 2017
@rdeits
Copy link
Contributor Author

rdeits commented Jun 21, 2017

@blegat are you OK with this? It removes all the Pkg.checkout()s from appveyor and travis, and everything seems to be working nicely 😄

@codecov
Copy link

codecov bot commented Jun 21, 2017

Codecov Report

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

Impacted file tree graph

@@           Coverage Diff           @@
##           master      #17   +/-   ##
=======================================
  Coverage   75.74%   75.74%           
=======================================
  Files          11       11           
  Lines         808      808           
=======================================
  Hits          612      612           
  Misses        196      196

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 34d3fbd...3850fe2. Read the comment docs.

@blegat blegat merged commit 736a526 into JuliaPolyhedra:master Jun 21, 2017
@blegat
Copy link
Member

blegat commented Jun 21, 2017

Yep :) I have updated the release on METADATA

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.

None yet

3 participants