On Fri, 10 Jul 2020 at 13:38, Claudio Fontana <cfont...@suse.de> wrote: > I got regular green test reports from cirrus-ci for Mac, seems different > compilation options.
That's odd -- what is cirrus-ci doing differently? Building the cocoa UI frontend is the default and is definitely something we want to be testing in the CI... thanks -- PMM
