CI

Merge pull request #2287 from joto/label-nodb #1891

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu20-pg13-gcc10-release	10m 57s
ubuntu20-pg10-gcc10	12m 37s
ubuntu20-pg11-clang10	11m 11s
ubuntu20-pg13-gcc10-jit	10m 2s
ubuntu20-pg15-clang10-jit	9m 25s
ubuntu20-pg15-clang10-noproj	9m 19s
ubuntu20-pg96-clang10-jit	12m 56s
ubuntu20-pg16-clang10	9m 18s
ubuntu20-pg96-gcc10-jit	12m 45s
ubuntu22-pg16-clang14-jit	8m 55s
ubuntu22-pg15-clang14	9m 27s
ubuntu22-pg16-clang14-noproj	9m 35s
ubuntu22-pg16-clang14-proj	9m 15s
ubuntu22-pg16-gcc12-cpp20	11m 16s
ubuntu22-pg16-clang15-cpp20	10m 2s
ubuntu22-pg16-gcc12-release	11m 8s
ubuntu24-pg16-gcc14	9m 16s
windows (windows-2019)	49m 12s
windows (windows-2022)	45m 28s
windows-package	58s
	4h 33m 2s