CI

Merge pull request #2353 from joto/misc-cleanups #1987

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu22-pg11-clang13-jit	11m 51s
ubuntu22-pg11-gcc10	10m 53s
ubuntu22-pg11-clang13	12m 42s
ubuntu22-pg11-gcc10-jit	11m 44s
ubuntu24-pg14-clang17-proj	10m 46s
ubuntu24-pg17-gcc12-cpp20	11m 41s
ubuntu22-pg13-gcc12-release	10m 30s
ubuntu24-pg17-clang16-cpp20	11m 45s
ubuntu22-pg16-clang15	10m 13s
ubuntu22-pg12-clang14-jit	9m 42s
ubuntu24-pg15-clang17-noproj	11m 3s
ubuntu24-pg15-clang18	11m 12s
ubuntu24-pg16-gcc12-release	11m 36s
ubuntu24-pg17-clang16-san	16m 44s
ubuntu22-pg13-gcc11-jit	9m 34s
windows (windows-2025)	30m 10s
ubuntu22-pg12-clang15-noproj	9m 21s
windows (windows-2022)	33m 56s
ubuntu24-pg14-clang16-jit	10m 22s
windows-package	1m 37s
	4h 17m 22s