CI

Merge pull request #2459 from joto/include-fixes #2152

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu22-pg11-gcc10-jit	9m 39s
ubuntu22-pg13-gcc12-release	9m 12s
ubuntu22-pg11-gcc10	10m 15s
ubuntu22-pg13-gcc11-jit	8m 13s
ubuntu22-pg11-clang13	42m 47s
ubuntu24-pg17-gcc12-cpp20	33m 41s
ubuntu22-pg11-clang13-jit	10m 22s
windows (windows-2025)	27m 48s
ubuntu24-pg17-clang16-cpp20	8m 46s
windows (windows-2022)	30m 25s
ubuntu24-pg15-clang17-noproj	8m 37s
ubuntu22-pg12-clang14-jit	7m 54s
ubuntu22-pg12-clang15-noproj	7m 40s
ubuntu24-pg16-gcc12-release	9m 41s
ubuntu24-pg17-clang16-san	13m 56s
ubuntu22-pg16-clang15	8m 43s
ubuntu24-pg14-clang16-jit	8m 59s
ubuntu24-pg14-clang17-proj	9m 0s
ubuntu24-pg15-clang18	8m 28s
windows-package	54s
	4h 35m 0s