CI

CI: Remove GETOPT settings we haven't been using for a long time #2030

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu24-pg16-gcc12-release	12m 32s
ubuntu22-pg11-clang13-jit	12m 48s
ubuntu22-pg12-clang14-jit	9m 21s
ubuntu24-pg17-gcc12-cpp20	12m 47s
ubuntu22-pg11-gcc10-jit	11m 15s
ubuntu22-pg16-clang15	11m 2s
ubuntu24-pg17-clang16-san	26m 49s
ubuntu22-pg13-gcc11-jit	9m 9s
windows (windows-2022)	34m 49s
ubuntu24-pg14-clang17-proj	20m 26s
windows (windows-2025)	29m 55s
ubuntu22-pg11-gcc10	11m 56s
ubuntu22-pg11-clang13	11m 17s
ubuntu24-pg15-clang17-noproj	11m 9s
ubuntu24-pg15-clang18	11m 2s
ubuntu24-pg14-clang16-jit	10m 58s
ubuntu22-pg13-gcc12-release	11m 0s
ubuntu22-pg12-clang15-noproj	10m 3s
ubuntu24-pg17-clang16-cpp20	11m 39s
windows-package	36s
	4h 40m 33s