=== Applying patches on top of PostgreSQL commit ID 637aa273e6335c2e4d196f510d6787210403ed24 ===
/etc/rc.d/jail: WARNING: Per-jail configuration via jail_* variables  is obsolete.  Please consider migrating to /etc/jail.conf.
Thu Jul 16 16:48:02 UTC 2026
=== expanding ./v14-0002-Add-error-details-to-FOR-KEY-join-rejections.patch.gz
=== expanding ./v14-0010-Extend-stored-FOR-KEY-proofs-to-row-level-securi.patch.gz
=== expanding ./v14-0008-Record-and-revalidate-FOR-KEY-proof-dependencies.patch.gz
=== expanding ./v14-0012-Add-psql-tab-completion-for-FOR-KEY-joins.patch.gz
=== expanding ./v14-0006-Prove-FOR-KEY-joins-whose-referenced-input-is-fi.patch.gz
=== expanding ./v14-0011-Add-information_schema.view_constraint_usage.patch.gz
=== expanding ./v14-0001-Add-FOR-KEY-join-clause-and-parse-time-proof.patch.gz
=== expanding ./v14-0004-Derive-key-join-proof-facts-from-GROUP-BY-and-DI.patch.gz
=== expanding ./v14-0009-Extend-stored-FOR-KEY-proofs-to-SQL-routine-bodi.patch.gz
=== expanding ./v14-0005-Add-a-join-local-FILTER-WHERE-.-clause.patch.gz
=== expanding ./v14-0007-Serialize-concurrent-routine-definition-changes.patch.gz
=== expanding ./v14-0003-Prove-FOR-KEY-joins-over-derived-inputs.patch.gz
On branch cf/6808
nothing to commit, working tree clean
=== using 'git am' to apply patch ./v14-0001-Add-FOR-KEY-join-clause-and-parse-time-proof.patch ===
Applying: Add FOR KEY join clause and parse-time proof
=== using 'git am' to apply patch ./v14-0002-Add-error-details-to-FOR-KEY-join-rejections.patch ===
Applying: Add error details to FOR KEY join rejections
=== using 'git am' to apply patch ./v14-0003-Prove-FOR-KEY-joins-over-derived-inputs.patch ===
Applying: Prove FOR KEY joins over derived inputs
=== using 'git am' to apply patch ./v14-0004-Derive-key-join-proof-facts-from-GROUP-BY-and-DI.patch ===
Applying: Derive key-join proof facts from GROUP BY and DISTINCT
=== using 'git am' to apply patch ./v14-0005-Add-a-join-local-FILTER-WHERE-.-clause.patch ===
Applying: Add a join-local FILTER (WHERE ...) clause
=== using 'git am' to apply patch ./v14-0006-Prove-FOR-KEY-joins-whose-referenced-input-is-fi.patch ===
Applying: Prove FOR KEY joins whose referenced input is filtered
=== using 'git am' to apply patch ./v14-0007-Serialize-concurrent-routine-definition-changes.patch ===
Applying: Serialize concurrent routine definition changes
=== using 'git am' to apply patch ./v14-0008-Record-and-revalidate-FOR-KEY-proof-dependencies.patch ===
Applying: Record and revalidate FOR KEY proof dependencies
=== using 'git am' to apply patch ./v14-0009-Extend-stored-FOR-KEY-proofs-to-SQL-routine-bodi.patch ===
Applying: Extend stored FOR KEY proofs to SQL routine bodies
=== using 'git am' to apply patch ./v14-0010-Extend-stored-FOR-KEY-proofs-to-row-level-securi.patch ===
Applying: Extend stored FOR KEY proofs to row-level security policies
=== using 'git am' to apply patch ./v14-0011-Add-information_schema.view_constraint_usage.patch ===
Applying: Add information_schema.view_constraint_usage
=== using 'git am' to apply patch ./v14-0012-Add-psql-tab-completion-for-FOR-KEY-joins.patch ===
Applying: Add psql tab completion for FOR KEY joins