Fix publish workflow #10800

Job	Run time
check-ubuntu-20_04-make-clang	23m 3s
check-ubuntu-20_04-make-clang-smt-z3	3m 57s
check-docker-image	21m 53s
check-macos-14-cmake-clang	1h 12m 22s
check-macos-13-make-clang	30m 47s
check-string-table	2m 7s
check-ubuntu-20_04-cmake-gcc	17m 6s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 7s
check-ubuntu-20_04-cmake-gcc-THOROUGH	9m 57s
check-ubuntu-20_04-make-gcc	19m 49s
check-ubuntu-22_04-cmake-gcc	16m 58s
check-ubuntu-22_04-cmake-gcc-32bit	14m 59s
check-ubuntu-22_04-make-clang	17m 35s
check-ubuntu-24_04-cmake-gcc-14	16m 9s
check-vs-2019-cmake-build-and-test	31m 50s
check-vs-2022-make-build-and-test	18m 4s
include-what-you-use	23m 21s
windows-msi-package	4m 59s
	5h 48m 3s

Provide feedback