Update scripts SHA 2025-12-03 and update github actions runners. #2743

Job	Run time
json-schema	1m 23s
format	3m 2s
builds / build (ubuntu-24.04, linux-ci)	6m 22s
builds / build (windows-2025, windows-ci)	13m 36s
builds / build (ubuntu-24.04-arm, linux-arm64-ci)	13m 26s
builds / build (macos-26, macos-ci)	4m 32s
	42m 21s

Provide feedback