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

Job	Run time
format	2m 50s
json-schema	1m 11s
builds / build (macos-14, macos-ci)	5m 47s
builds / build (ubuntu-22.04, linux-ci)	10m 17s
builds / build (ubuntu-24.04-arm, linux-arm64-ci)	6m 4s
builds / build (windows-2022, windows-ci)	22m 35s
	48m 44s

Provide feedback