CI pipeline

Bump 3rdparty/json from `7603046` to `7efe875` #541

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
release_alpine_3_19_static	2m 49s
release_macos_13	4m 39s
debug_ubuntu_22 (6.0.2-0, -lts)	2m 37s
release_source	2m 31s
release_windows_2022	8m 59s
publish_release	0s
	21m 35s