Hi,
On 2023-08-07 19:15:41 -0700, Andres Freund wrote:
> The set of free CI providers has shrunk since we chose cirrus, as have the
> "free" resources provided. I started, quite incomplete as of now, wiki page at
> [4].
Oops, as Thomas just noticed, I left off that link:
[4] https://wiki.postgresql.org/wiki/CI_Providers
Greetings,
Andres Freund