Re: Adding CI to our tree

[Andres Freund]

Hi,

Pushed 0001, 0002. Only change I made was to add
DEBIAN_FRONTEND=noninteractive to the apt-get invocations, because some
packages will fail / complain verbosely if there's no interactive prompt
during installation.

Greetings,

Andres Freund