Fix update-doc-versions job #347

Job	Run time
trigger	1s
trigger	1s
linters	25s
linters	25s
build	13s
build	13s
create-binder-env	4s
create-binder-env	4s
test (ubuntu-latest, 3.7)	24m 22s
test (ubuntu-latest, 3.7)	24m 22s
test (ubuntu-latest, 3.8)	24m 52s
test (ubuntu-latest, 3.8)	24m 52s
test (ubuntu-latest, 3.9)	28m 6s
test (ubuntu-latest, 3.9)	28m 6s
test (ubuntu-latest, 3.9, without gurobi)	24m 17s
test (ubuntu-latest, 3.9, without gurobi)	24m 17s
test (macos-latest, 3.7)	32m 52s
test (macos-latest, 3.7)	31m 35s
test (macos-latest, 3.8)	32m 30s
test (macos-latest, 3.8)	32m 30s
test (macos-latest, 3.9)	31m 25s
test (macos-latest, 3.9)	31m 25s
test (windows-latest, 3.7)	21m 26s
test (windows-latest, 3.7)	21m 26s
test (windows-latest, 3.8)	22m 18s
test (windows-latest, 3.8)	22m 18s
test (windows-latest, 3.9)	22m 12s
test (windows-latest, 3.9)	22m 12s
build-doc	1m 32s
build-doc	1m 32s
deploy	0s
deploy	0s
deploy-master-doc	0s
deploy-master-doc	15s
deploy-release-doc	0s
deploy-release-doc	0s
update-doc-versions	0s
update-doc-versions	8s
	8h 52m 16s

Provide feedback