CI

Merge pull request #2354 from amandasaurus/doc-fix #1986

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu22-pg11-gcc10-jit	11m 30s
ubuntu22-pg11-gcc10	11m 39s
ubuntu22-pg13-gcc11-jit	9m 17s
ubuntu22-pg13-gcc12-release	10m 32s
ubuntu22-pg12-clang15-noproj	9m 18s
ubuntu22-pg12-clang14-jit	9m 26s
ubuntu22-pg11-clang13-jit	12m 42s
ubuntu24-pg15-clang17-noproj	10m 15s
ubuntu24-pg15-clang18	10m 13s
ubuntu22-pg16-clang15	10m 4s
ubuntu24-pg14-clang17-proj	11m 35s
ubuntu24-pg14-clang16-jit	11m 44s
ubuntu24-pg16-gcc12-release	12m 28s
ubuntu24-pg17-clang16-san	17m 20s
windows (windows-2022)	32m 2s
ubuntu22-pg11-clang13	11m 26s
ubuntu24-pg17-gcc12-cpp20	12m 22s
windows (windows-2025)	29m 42s
ubuntu24-pg17-clang16-cpp20	12m 23s
windows-package	52s
	4h 16m 50s