v9.15

What's Changed

• or-tools: bump version to 9.15.6755 by @Mizux in #8

Full Changelog: v9.14...v9.15

v9.14

What's Changed

• or-tools: bump version to 9.14.6206 by @Mizux in #7

Full Changelog: v9.13...v9.14

v9.13

What's Changed

• Bump actions/checkout from 4 to 5 in the github-actions group by @dependabot[bot] in #4
• Bump actions/setup-java from 4 to 5 in the github-actions group by @dependabot[bot] in #5
• Bump actions/checkout from 5 to 6 in the github-actions group by @dependabot[bot] in #6

New Contributors

• @dependabot[bot] made their first contribution in #4

Full Changelog: v9.12...v9.13

v9.12

Full Changelog: v9.11...v9.12

v9.11

Full Changelog: v9.10...v9.11

v9.10

Full Changelog: v9.9...v9.10

v9.9

Full Changelog: v9.8...v9.9

v9.8

or-tools bump to v9.8

v9.7

ci: allow workflow_dispatch

v9.6

deps: Bump or-tools to v9.6.2534