Re: Adding CI to our tree

On Mon, Dec 13, 2021 at 01:12:23PM -0800, Andres Freund wrote:
> Hi,
> 
> Attached is an updated version of the CI patches. An example of a test run
> with the attached version of this
> https://cirrus-ci.com/build/6501998521483264

sudo is used exactly twice; maybe it's not needed at all ?

> +task:
> +  name: FreeBSD
...
> +  sysconfig_script:
> +    - sudo sysctl kern.corefile='/tmp/%N.%P.core'

> +task:
> +  name: macOS
...
> +  core_install_script:
> +    - sudo chmod 777 /cores

typos:
binararies
dont't