docs(readme): document libpq env vars for --postgres connections - #2390
Open
keith-oak wants to merge 1 commit into
Open
docs(readme): document libpq env vars for --postgres connections#2390keith-oak wants to merge 1 commit into
keith-oak wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Aug 2, 2026 in 0s
No divergence found (not a proof)
Compared 00efd6e7969837ae4a9f11d8d504dcd3b20b09df (base) against d2d9562707bc4a61d659fb7107d118cdf190f820 (head).
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
No divergences or abstentions to report.
Formal verification is advisory: equivalent is a proof over a bounded sound subset; may_equivalent is sampled, not proven; unsupported and error are honest abstentions.
Loading