CI

Various small changes #2203

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu22-pg13-gcc11-jit	8m 17s
ubuntu22-pg12-clang14-jit	8m 2s
ubuntu22-pg12-clang15-noproj	7m 56s
ubuntu22-pg12-gcc10-jit	8m 52s
ubuntu22-pg16-clang15	8m 45s
ubuntu24-pg17-clang16-cpp20	10m 10s
ubuntu24-pg14-clang16-jit	8m 33s
ubuntu24-pg16-gcc12-release	10m 15s
ubuntu22-pg12-gcc10	7m 43s
ubuntu24-pg15-clang18	9m 22s
ubuntu24-pg15-clang17-noproj	8m 45s
ubuntu22-pg12-clang13-jit	9m 41s
ubuntu24-pg14-clang17-proj	9m 25s
ubuntu22-pg13-gcc12-release	10m 5s
windows (windows-2022)	32m 9s
ubuntu24-pg17-clang16-san	16m 37s
ubuntu22-pg12-clang13	8m 30s
ubuntu24-pg17-gcc12-cpp20	11m 6s
windows (windows-2025)	26m 27s
windows-package	1m 1s
	3h 41m 41s