File tree 2 files changed +8
-5
lines changed
2 files changed +8
-5
lines changed Original file line number Diff line number Diff line change @@ -20,22 +20,24 @@ notifications:
20
20
on_failure : always
21
21
22
22
env :
23
+ - PG_VERSION=14 LEVEL=nightmare
24
+ - PG_VERSION=14 LEVEL=hardcore
25
+ - PG_VERSION=14
23
26
- PG_VERSION=13 LEVEL=nightmare
24
27
- PG_VERSION=13 LEVEL=hardcore
25
28
- PG_VERSION=13
26
- # - PG_VERSION=12 LEVEL=nightmare
29
+ - PG_VERSION=12 LEVEL=nightmare
27
30
- PG_VERSION=12 LEVEL=hardcore
28
31
- PG_VERSION=12
29
- # - PG_VERSION=11 LEVEL=nightmare
32
+ - PG_VERSION=11 LEVEL=nightmare
30
33
- PG_VERSION=11 LEVEL=hardcore
31
34
- PG_VERSION=11
32
35
- PG_VERSION=10
33
- - PG_VERSION=9.6
34
- - PG_VERSION=9.5
35
36
36
37
# XXX: consider fixing nightmare mode
37
38
matrix :
38
39
allow_failures :
39
40
- env : PG_VERSION=11 LEVEL=nightmare
40
41
- env : PG_VERSION=12 LEVEL=nightmare
41
42
- 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" ] || \
43
43
# enable additional options
44
44
./configure \
45
45
CFLAGS=' -O0 -ggdb3 -fno-omit-frame-pointer' \
46
- --enable-cassert \
46
+ --enable-cassert --enable-debug \
47
47
--prefix=$CUSTOM_PG_BIN \
48
48
--quiet
49
49
@@ -100,6 +100,7 @@ if [ "$LEVEL" = "nightmare" ]; then
100
100
--time-stamp=yes \
101
101
--track-origins=yes \
102
102
--trace-children=yes \
103
+ --trace-children-skip=" /bin/*,/usr/bin/*,/lib/*" \
103
104
--gen-suppressions=all \
104
105
--suppressions=$CUSTOM_PG_SRC /src/tools/valgrind.supp \
105
106
--suppressions=$PWD /valgrind.supp \
You can’t perform that action at this time.
0 commit comments