Update for 3.1.0 release #3237

Job	Run time
Linux (gcc, shared)	2m 37s
Linux (gcc, amalgamation)	1m 43s
Linux (gcc, static)	2m 2s
Linux (clang, shared)	2m 38s
macOS (shared, clang)	3m 5s
macOS (amalgamation, clang)	2m 34s
Analysis (coverage, gcc, ubuntu-22.04)	40m 5s
Analysis (sanitizer, msvc, windows-2022, jom)	12m 53s
Analysis (sanitizer, clang, ubuntu-22.04)	14m 3s
Analysis (sanitizer, gcc, ubuntu-22.04)	20m 14s
Analysis (valgrind, gcc, ubuntu-22.04)	17m 44s
Analysis (fuzzers, gcc, ubuntu-22.04)	6m 10s
Analysis (lint, gcc, ubuntu-22.04)	43s
Analysis (format, gcc, ubuntu-22.04)	1m 12s
Special (examples, gcc, ubuntu-22.04)	1m 48s
Special (minimized, gcc, ubuntu-22.04)	1m 6s
Special (bsi, gcc, ubuntu-22.04)	1m 51s
Windows (shared, x86_64, windows-2022)	7m 27s
Windows (static, x86_64, windows-2022)	5m 1s
Windows (amalgamation, x86_64, windows-2022)	3m 42s
Windows (shared, x86, windows-2022)	8m 7s
Cross (cross-i386, gcc, ubuntu-22.04)	3m 50s
Cross (cross-arm32, gcc, ubuntu-22.04)	13m 29s
Cross (cross-arm64, gcc, ubuntu-22.04)	6m 12s
Cross (cross-ppc64, gcc, ubuntu-22.04)	8m 5s
Cross (cross-riscv64, gcc, ubuntu-22.04)	7m 41s
Cross (cross-android-arm32, clang, ubuntu-22.04)	1m 6s
Cross (cross-android-arm64, clang, ubuntu-22.04)	1m 37s
Cross (static, gcc, windows-2022, mingw32-make)	24m 24s
Cross (cross-ios-arm64, clang, macos-13)	1m 52s
Cross (emscripten, emcc, ubuntu-22.04)	2m 49s
	3h 47m 50s

Provide feedback