Fix publish workflow #10801

Job	Run time
check-ubuntu-20_04-make-clang-smt-z3	3m 46s
check-ubuntu-20_04-make-gcc	19m 27s
check-macos-13-make-clang	30m 15s
check-ubuntu-20_04-cmake-gcc	17m 16s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 22s
check-ubuntu-20_04-cmake-gcc-THOROUGH	10m 11s
check-ubuntu-20_04-make-clang	23m 37s
check-ubuntu-22_04-cmake-gcc	15m 8s
check-ubuntu-22_04-cmake-gcc-32bit	16m 25s
check-ubuntu-22_04-make-clang	16m 50s
check-ubuntu-24_04-cmake-gcc-14	16m 19s
check-docker-image	21m 39s
check-macos-14-cmake-clang	1h 43m 52s
check-string-table	2m 11s
check-vs-2019-cmake-build-and-test	31m 42s
check-vs-2022-make-build-and-test	20m 2s
include-what-you-use	23m 15s
windows-msi-package	4m 14s
	6h 19m 31s

Provide feedback