[Bazel] fix the python version in .bazelrc; adapt bazel runners #1707

	# ref: https://github.com/actions/runner-images
	name: amd64 Linux Bazel

	on: [push, pull_request, workflow_dispatch]

	# Building using the github runner environement directly.
	jobs:
	native:
	strategy:
	matrix:
	python: [
	{version: '3.10'},
	{version: '3.11'},
	{version: '3.12'},
	{version: '3.13'},
	]
	fail-fast: false
	name: Linux • Bazel • Python-${{ matrix.python.version }}
	runs-on: ubuntu-latest
	env:
	CC: gcc-12
	CXX: g++-12
	steps:
	- uses: actions/checkout@v4
	- name: Check Java
	run: java -version
	- name: Check mvn
	run: mvn --version
	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python.version }}
	- name: Check Python
	run: python --version
	- name: Install Bazel
	run: \|
	curl -fsSL https://bazel.build/bazel-release.pub.gpg \| gpg --dearmor > bazel.gpg
	sudo mv bazel.gpg /etc/apt/trusted.gpg.d/
	echo "deb [arch=amd64] https://storage.googleapis.com/bazel-apt stable jdk1.8" \| sudo tee /etc/apt/sources.list.d/bazel.list
	sudo apt-get update
	sudo apt-get install bazel
	- name: Check Bazel
	run: bazel version
	- name: Change Python in .bazelrc
	run: >
	sed
	-i
	's/3.12/"${{ matrix.python.version }}"/g'
	.bazelrc
	- name: Build
	run: >
	bazel build
	-c opt
	--subcommands=pretty_print
	//ortools/... //examples/...
	- name: Test
	run: >
	bazel test
	-c opt
	--test_output=errors
	//ortools/... //examples/...

Provide feedback