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

Job	Run time
format	2m 57s
builds / build (ubuntu-24.04, linux-ci)	6m 15s
builds / build (ubuntu-24.04-arm, linux-arm64-ci)	18m 25s
json-schema	1m 12s
builds / build (windows-2025, windows-ci)	26m 6s
builds / build (macos-26, macos-ci)	5m 24s
	1h 0m 19s

Provide feedback