CI

Merge pull request #2388 from joto/cleanup-naming #2036

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu22-pg11-clang13-jit	12m 23s
ubuntu22-pg11-gcc10-jit	12m 10s
ubuntu22-pg11-gcc10	11m 34s
ubuntu22-pg12-clang14-jit	10m 3s
ubuntu22-pg12-clang15-noproj	10m 20s
ubuntu24-pg15-clang17-noproj	11m 36s
ubuntu22-pg13-gcc12-release	10m 46s
ubuntu24-pg17-clang16-cpp20	33m 18s
ubuntu24-pg16-gcc12-release	13m 43s
ubuntu22-pg11-clang13	11m 17s
ubuntu24-pg14-clang16-jit	12m 2s
ubuntu22-pg13-gcc11-jit	8m 52s
ubuntu24-pg14-clang17-proj	16m 31s
ubuntu22-pg16-clang15	9m 58s
ubuntu24-pg15-clang18	11m 14s
ubuntu24-pg17-clang16-san	39m 38s
ubuntu24-pg17-gcc12-cpp20	31m 34s
windows (windows-2022)	33m 30s
windows (windows-2025)	36m 47s
windows-package	41s
	5h 37m 57s