CI

small minor doc fixes #1985

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu22-pg11-clang13	12m 40s
ubuntu22-pg11-clang13-jit	12m 1s
ubuntu22-pg11-gcc10	11m 18s
ubuntu22-pg11-gcc10-jit	11m 41s
ubuntu22-pg13-gcc12-release	10m 18s
ubuntu22-pg16-clang15	9m 57s
ubuntu24-pg15-clang17-noproj	11m 33s
ubuntu24-pg16-gcc12-release	11m 50s
ubuntu22-pg12-clang14-jit	9m 29s
ubuntu24-pg17-clang16-cpp20	12m 28s
ubuntu24-pg17-gcc12-cpp20	11m 27s
ubuntu22-pg12-clang15-noproj	9m 27s
ubuntu24-pg17-clang16-san	17m 53s
ubuntu24-pg15-clang18	10m 55s
ubuntu24-pg14-clang16-jit	11m 23s
windows (windows-2022)	33m 38s
windows (windows-2025)	35m 22s
ubuntu24-pg14-clang17-proj	11m 9s
ubuntu22-pg13-gcc11-jit	9m 10s
windows-package	1m 56s
	4h 25m 35s