Skip to content

chore(deps): update ortools requirement from >=9.9 to >=9.15.6755#12

Merged
MicheleCampi merged 1 commit into
mainfrom
dependabot/pip/ortools-gte-9.15.6755
May 31, 2026
Merged

chore(deps): update ortools requirement from >=9.9 to >=9.15.6755#12
MicheleCampi merged 1 commit into
mainfrom
dependabot/pip/ortools-gte-9.15.6755

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github May 9, 2026

Copy link
Copy Markdown
Contributor

Updates the requirements on ortools to permit the latest version.

Commits

@dependabot @github

dependabot Bot commented on behalf of github May 9, 2026

Copy link
Copy Markdown
Contributor Author

Labels

The following labels could not be found: dependencies, python. Please create them before Dependabot can add them to a pull request.

Please fix the above issues or remove invalid values from dependabot.yml.

@MicheleCampi

Copy link
Copy Markdown
Owner

@dependabot rebase

Updates the requirements on [ortools](https://github.com/google/or-tools) to permit the latest version.
- [Release notes](https://github.com/google/or-tools/releases)
- [Commits](https://github.com/google/or-tools/commits)

---
updated-dependencies:
- dependency-name: ortools
  dependency-version: 9.15.6755
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot force-pushed the dependabot/pip/ortools-gte-9.15.6755 branch from f0a94ea to fb53a18 Compare May 31, 2026 08:17
@MicheleCampi MicheleCampi merged commit 56b621e into main May 31, 2026
1 check passed
@MicheleCampi MicheleCampi deleted the dependabot/pip/ortools-gte-9.15.6755 branch May 31, 2026 08:35
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.

1 participant