Skip to content

Jet#138

Merged
strasdat merged 4 commits intomasterfrom
jet
Feb 11, 2018
Merged

Jet#138
strasdat merged 4 commits intomasterfrom
jet

Conversation

@strasdat
Copy link
Owner

No description provided.

@strasdat
Copy link
Owner Author

Seems to fail with version of Eigen used in CI.

@coveralls
Copy link

coveralls commented Feb 10, 2018

Coverage Status

Coverage remained the same at 100.0% when pulling 13e5a9d on jet into c873e51 on master.

@strasdat strasdat force-pushed the jet branch 4 times, most recently from 61c5ff8 to e8509e7 Compare February 11, 2018 07:13
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