CI pipeline

Bump 3rdparty/doctest from `ae7a135` to `1da23a3` #691

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
debug_ubuntu_22 (6.0.2-0, -lts)	4m 21s
release_macos_13	16m 10s
release_source	3m 18s
release_alpine_3_19_static	4m 49s
release_windows_2022	10m 3s
publish_release	0s
	38m 41s