Skip to content

Conversation

@mforets
Copy link
Contributor

@mforets mforets commented Jan 20, 2021

Address comment #98 (review), once this is merged I'll rebase my docs PRs.. But there is a Note in blue ("Pull requests made from forks will not have previews. ...") so it may not work in #98 and #99 because they are from a fork.

@mforets
Copy link
Contributor Author

mforets commented Jan 20, 2021

the error on some travis builds seems unrelated

@mforets
Copy link
Contributor Author

mforets commented Jan 21, 2021

@lbenet could you try to re-trigger the Travis build?

@lbenet
Copy link
Member

lbenet commented Jan 21, 2021

I've restarted the travis build (on those jobs that didn't pass only).

@lbenet
Copy link
Member

lbenet commented Jan 22, 2021

All tests are passing (except some in nightly, which I think is related to printing, so irrelevant). Shall I go ahead and merge?

@lbenet
Copy link
Member

lbenet commented Jan 22, 2021

Merging...

@lbenet lbenet merged commit 88ad549 into JuliaIntervals:master Jan 22, 2021
@mforets mforets deleted the patch-7 branch January 22, 2021 16:29
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