CI

Various small changes #2198

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu22-pg13-gcc11-jit	4m 45s
ubuntu22-pg12-clang15-noproj	6m 49s
ubuntu22-pg12-gcc10-jit	8m 18s
ubuntu22-pg12-clang13	8m 22s
ubuntu24-pg14-clang16-jit	8m 44s
ubuntu22-pg12-clang14-jit	8m 12s
ubuntu22-pg13-gcc12-release	9m 39s
ubuntu22-pg12-clang13-jit	7m 8s
ubuntu24-pg17-clang16-san	15m 24s
ubuntu24-pg15-clang18	8m 58s
ubuntu24-pg15-clang17-noproj	9m 17s
ubuntu24-pg17-gcc12-cpp20	10m 54s
ubuntu24-pg16-gcc12-release	10m 40s
ubuntu22-pg12-gcc10	8m 24s
windows (windows-2022)	25m 11s
ubuntu22-pg16-clang15	8m 40s
ubuntu24-pg14-clang17-proj	10m 11s
windows (windows-2025)	28m 16s
ubuntu24-pg17-clang16-cpp20	10m 0s
windows-package	1s
	3h 27m 53s