Skip to content

Update TaylorModels requirement from 0.11 to 0.11, 0.12 in /test - #1115

Closed
dependabot[bot] wants to merge 1 commit into
masterfrom
dependabot/julia/test/TaylorModels-0.11-and-0.12
Closed

dependabot[bot] wants to merge 1 commit into
masterfrom
dependabot/julia/test/TaylorModels-0.11-and-0.12

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Oct 9, 2026 •

Copy link
Copy Markdown
Contributor

Updates the requirements on TaylorModels to permit the latest version.

Release notes

Sourced from TaylorModels's releases.

v0.12.0

TaylorModels v0.12.0

Diff since v0.11.1

This release is breaking since the interface to validated_integ methods is changed, to have a more consistent interface with JetSpace's.

Merged pull requests:

  • Consistency of JetSpace's in validated integration methods (#203) (@​lbenet)
Commits

@dependabot dependabot Bot added dependencies Pull requests that update a dependency file julia Pull requests that update julia code labels Oct 9, 2026
@schillic
schillic marked this pull request as draft October 9, 2026 16:06
Updates the requirements on [TaylorModels](https://github.com/JuliaIntervals/TaylorModels.jl) to permit the latest version.
- [Release notes](https://github.com/JuliaIntervals/TaylorModels.jl/releases)
- [Commits](JuliaIntervals/TaylorModels.jl@v0.11.0...v0.12.0)

---
updated-dependencies:
- dependency-name: TaylorModels
  dependency-version: 0.12.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot
dependabot Bot force-pushed the dependabot/julia/test/TaylorModels-0.11-and-0.12 branch from 27e9402 to 114adc7 Compare October 9, 2026 19:43
@dependabot @github

dependabot Bot commented on behalf of github Oct 21, 2026

Copy link
Copy Markdown
Contributor Author

Superseded by #1119.

@dependabot dependabot Bot closed this Oct 21, 2026
@dependabot
dependabot Bot deleted the dependabot/julia/test/TaylorModels-0.11-and-0.12 branch October 21, 2026 06:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file julia Pull requests that update julia code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants