Skip to content
This repository has been archived by the owner on Aug 12, 2022. It is now read-only.

Tag IntervalArithmetic v0.9.1 [https://github.com/JuliaIntervals/Inte… #9394

Closed
wants to merge 1 commit into from
Closed

Conversation

lbenet
Copy link
Contributor

@lbenet lbenet commented May 18, 2017

…rvalArithmetic.jl]

Diff vs v0.9.0: JuliaIntervals/IntervalArithmetic.jl@28fde2f...d23a1c9

@tkelman
Copy link
Contributor

tkelman commented May 19, 2017

Looks like this introduces an ambiguity that causes a failure in IntervalRootFinding?

@lbenet
Copy link
Contributor Author

lbenet commented May 19, 2017

Thanks @tkelman, I'll take a look on this. Incidentally, how do we proceed now?

@dpsanders Any idea? I get in IntervalRootFinding (v0.1.0) some errors in the promotion tests. Could this be related to JuliaIntervals/IntervalArithmetic.jl#13

@dpsanders
Copy link
Contributor

There is a PR to IntervalRootFinding.jl to remove those tests.

@tkelman
Copy link
Contributor

tkelman commented May 19, 2017

we could add upper bounds on the existing IntervalRootFinding tags' dependency on IntervalArithmetic, so having IntervalRootFinding installed would hold this package back until there's a new working version of IntervalRootFinding available

@lbenet
Copy link
Contributor Author

lbenet commented May 19, 2017

@tkelman Is there a way to restart the JuliaCIBot checks? We just merged the PR referred by @dpsanders

@tkelman
Copy link
Contributor

tkelman commented May 19, 2017

re-tag

@lbenet
Copy link
Contributor Author

lbenet commented May 19, 2017

Do you mean a new (patch) version? Sorry for the stupid question...

@dpsanders
Copy link
Contributor

He means delete the tag and then create a release with the same tag using Attobot.

@dpsanders
Copy link
Contributor

I can do it later when I am at my computer.

@lbenet
Copy link
Contributor Author

lbenet commented May 19, 2017

Thanks, that would be very helpful!

@dpsanders
Copy link
Contributor

Please close in favour of #9406.

@lbenet
Copy link
Contributor Author

lbenet commented May 19, 2017

Thanks David! Closing...

@lbenet lbenet closed this May 19, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants