Merge pull request #1310 from google-deepmind:lanctot-wheel-python313 #1688

Job	Run time
build (ubuntu-24.04, 3.12, OFF, OFF, OFF)	20m 34s
build (ubuntu-24.04, 3.12, OFF, OFF, OFF)	20m 34s
build (macos-14, 3.12, OFF, OFF, OFF)	11m 54s
build (macos-14, 3.12, OFF, OFF, OFF)	11m 54s
build (ubuntu-22.04, 3.11, ON, OFF, OFF)	24m 24s
build (ubuntu-22.04, 3.11, ON, OFF, OFF)	24m 24s
build (ubuntu-22.04, 3.10, ON, OFF, ON, https://github.com/google/or-tools/releases/download/v9.6...	23m 5s
build (ubuntu-22.04, 3.10, ON, OFF, ON, https://github.com/google/or-tools/releases/download/v9.6...	23m 5s
build (ubuntu-22.04, 3.10, OFF, OFF, OFF)	19m 13s
build (ubuntu-22.04, 3.10, OFF, OFF, OFF)	19m 13s
build (macos-13, 3.11, 0, OFF, OFF, OFF)	25m 31s
build (macos-13, 3.11, 0, OFF, OFF, OFF)	20m 16s
	4h 4m 7s

Provide feedback