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

Job	Run time
format	2m 57s
json-schema	1m 19s
builds / build (windows-2025, windows-ci)	26m 25s
builds / build (ubuntu-24.04-arm, linux-arm64-ci)	22m 4s
builds / build (ubuntu-24.04, linux-ci)	11m 19s
builds / build (macos-26, macos-ci)	12m 36s
	1h 16m 40s

Provide feedback