mirror of
https://github.com/postgres/postgres.git
synced 2025-08-31 17:02:12 +03:00
We should probably check that INSTALL can be generated in CI. Reported-by: Tom Lane <tgl@sss.pgh.pa.us> Discussion: https://postgr.es/m/795075.1700254192@sss.pgh.pa.us