no partition pruning when partitioning using array type
1 patchset tracked - current t37836_30
v30t37836_30posted Jul 26, 2018successwon't retryancient 8ypg 12
base240971675 Jul 19, 2018 - 2984 days / 20120 commits behind master (from history)
applyapplied Aug 18, 16:42
rebaselast tried Aug 18, 16:42 on 195e8e427
Applying: Disallow domain type partition key Using index info to reconstruct a base tree... M src/backend/commands/tablecmds.c Falling back to patching base and 3-way merge... Auto-merging src/backend/commands/tablecmds.c CONFLICT (content): Merge conflict in src/backend/commands/tablecmds.c Patch failed at 0001 Disallow domain type partition key error: Failed to merge in the changes. hint: Use 'git am --show-current-patch=diff' to see the failed patch hint: When you have resolved this problem, run "git am --continue". hint: If you prefer to skip this patch, run "git am --skip" instead. hint: To restore the original branch and stop patching, run "git am --abort". hint: Disable this message with "git config advice.mergeConflict false"
conflicts on master: src/backend/commands/tablecmds.c
pushAug 18, 16:42 -> fcaf1fe7ebranchdiff vs base
| Result | Att | PG | Tests | Build / test | Image | When |
|---|---|---|---|---|---|---|
| success | 1 | 12 | 509 / 509 | 1m 52s / 2m 58s | docker run ... :t37836 | Aug 18, 16:50 |
run 32161760321executed 509 - ccache 84 hit / 3975 miss - head fcaf1fe7e - digest sha256:f4aba45c89c30f... - run 32161760321 | ||||||