File tree Expand file tree Collapse file tree 2 files changed +8
-5
lines changed
Expand file tree Collapse file tree 2 files changed +8
-5
lines changed Original file line number Diff line number Diff line change @@ -20,22 +20,24 @@ notifications:
2020 on_failure : always
2121
2222env :
23+ - PG_VERSION=14 LEVEL=nightmare
24+ - PG_VERSION=14 LEVEL=hardcore
25+ - PG_VERSION=14
2326 - PG_VERSION=13 LEVEL=nightmare
2427 - PG_VERSION=13 LEVEL=hardcore
2528 - PG_VERSION=13
26- # - PG_VERSION=12 LEVEL=nightmare
29+ - PG_VERSION=12 LEVEL=nightmare
2730 - PG_VERSION=12 LEVEL=hardcore
2831 - PG_VERSION=12
29- # - PG_VERSION=11 LEVEL=nightmare
32+ - PG_VERSION=11 LEVEL=nightmare
3033 - PG_VERSION=11 LEVEL=hardcore
3134 - PG_VERSION=11
3235 - PG_VERSION=10
33- - PG_VERSION=9.6
34- - PG_VERSION=9.5
3536
3637# XXX: consider fixing nightmare mode
3738matrix :
3839 allow_failures :
3940 - env : PG_VERSION=11 LEVEL=nightmare
4041 - env : PG_VERSION=12 LEVEL=nightmare
4142 - env : PG_VERSION=13 LEVEL=nightmare
43+ - env : PG_VERSION=14 LEVEL=nightmare
Original file line number Diff line number Diff line change @@ -43,7 +43,7 @@ if [ "$LEVEL" = "hardcore" ] || \
4343 # enable additional options
4444 ./configure \
4545 CFLAGS=' -O0 -ggdb3 -fno-omit-frame-pointer' \
46- --enable-cassert \
46+ --enable-cassert --enable-debug \
4747 --prefix=$CUSTOM_PG_BIN \
4848 --quiet
4949
@@ -100,6 +100,7 @@ if [ "$LEVEL" = "nightmare" ]; then
100100 --time-stamp=yes \
101101 --track-origins=yes \
102102 --trace-children=yes \
103+ --trace-children-skip=" /bin/*,/usr/bin/*,/lib/*" \
103104 --gen-suppressions=all \
104105 --suppressions=$CUSTOM_PG_SRC /src/tools/valgrind.supp \
105106 --suppressions=$PWD /valgrind.supp \
You can’t perform that action at this time.
0 commit comments