Should we add GUCs to allow partition pruning to be disabled?
1 patchset tracked - current t38568_114
v114t38568_114posted Apr 11, 2019successwon't retryancient 7ypg 12
base65d857d92 Apr 11, 2019 - 2719 days / 18529 commits behind master (from submission head)
applyapplied Aug 18, 16:34
rebaselast tried Aug 18, 16:34 on 195e8e427
Applying: Document features of declarative partitioning.. Patch failed at 0001 Document features of declarative partitioning.. error: sha1 information is lacking or useless (doc/src/sgml/ddl.sgml). error: could not build fake ancestor 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"
pushAug 18, 16:34 -> 8e14e8afebranchdiff vs base
| Result | Att | PG | Tests | Build / test | Image | When |
|---|---|---|---|---|---|---|
| success | 1 | 12 | 531 / 531 | 1m 55s / 2m 25s | docker run ... :t38568 | Aug 18, 16:42 |
run 32161028700executed 531 - ccache 140 hit / 3997 miss - head 8e14e8afe - digest sha256:aeff426f927b33... - run 32161028700 | ||||||