Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1qUaeM-00DRas-FZ for pgsql-hackers@arkaria.postgresql.org; Fri, 11 Aug 2023 22:30:30 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1qUaeJ-00BxDc-Vp for pgsql-hackers@arkaria.postgresql.org; Fri, 11 Aug 2023 22:30:28 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1qUaeJ-00BxDT-Mi for pgsql-hackers@lists.postgresql.org; Fri, 11 Aug 2023 22:30:28 +0000 Received: from sss.pgh.pa.us ([68.162.161.243]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1qUaeH-001rqH-Cm for pgsql-hackers@postgresql.org; Fri, 11 Aug 2023 22:30:26 +0000 Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1]) by sss.pgh.pa.us (8.15.2/8.15.2) with ESMTP id 37BMU2WT338203; Fri, 11 Aug 2023 18:30:03 -0400 From: Tom Lane To: Peter Geoghegan cc: Andres Freund , Andrew Dunstan , Jelte Fennema , Michael Paquier , "shiy.fnst@fujitsu.com" , Robert Haas , Justin Pryzby , Noah Misch , Bruce Momjian , Magnus Hagander , Alvaro Herrera , Stephen Frost , Jesse Zhang , "pgsql-hackers@postgresql.org" , Peter Eisentraut Subject: Re: run pgindent on a regular basis / scripted manner In-reply-to: References: <1d66447e-a77b-ca0d-90a0-782800e85383@dunslane.net> <582c503b-cd98-1891-ff87-9c8e8ce73ee5@dunslane.net> <30a72ba4-9ca4-15b5-db0f-0e68cba7ab26@dunslane.net> <1f594a4b-14c8-e159-b250-edf8a091320d@dunslane.net> <20230811212511.aih23qfthi24zhq4@awork3.anarazel.de> Comments: In-reply-to Peter Geoghegan message dated "Fri, 11 Aug 2023 14:48:09 -0700" MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-ID: <338201.1691793002.1@sss.pgh.pa.us> Content-Transfer-Encoding: 8bit Date: Fri, 11 Aug 2023 18:30:02 -0400 Message-ID: <338202.1691793002@sss.pgh.pa.us> List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk Peter Geoghegan writes: > On Fri, Aug 11, 2023 at 2:25 PM Andres Freund wrote: >> We could a test that fails when there's some mis-indented code. That seems >> like it might catch things earlier? +1 for including this in CI tests > It definitely would. That would go a long way towards addressing my > concerns. But I suspect that that would run into problems that stem > from the fact that the buildfarm is testing something that isn't all > that simple. Don't typedefs need to be downloaded from some other > blessed buildfarm animal? No. I presume koel is using src/tools/pgindent/typedefs.list, which has always been the "canonical" list but up to now we've been lazy about maintaining it. Part of the new regime is that typedefs.list should now be updated on-the-fly by patches that add new typedefs. We should still compare against the buildfarm's list periodically; but I imagine that the primary result of that will be to remove no-longer-used typedefs from typedefs.list. regards, tom lane