Hi, On 2025-07-29 00:21:32 -0700, Lukas Fittl wrote: > On Mon, Jul 28, 2025 at 10:30 PM Michael Paquier <mich...@paquier.xyz> > wrote: > > > I'm not sure how to get CI to run MinGW (it appears paused for me?), so I > > > can't test this myself easily. > > > > src/tools/ci/README, "Enabling cirrus-ci in a github repository". > > I've enabled it in my own copy of Postgres on github, relying on that > > as an extra pre-commit check mostly for patches that are OS-sensitive. > > It runs independently on the CI, relying on the OS base images that > > Andres has been cooking for the last few years, of course. > > > > Thanks, to be clear, I have CI enabled but the MinGW tasks were always > paused (presumably because of the trigger type being manual). But I think > "ci-os-only" as noted in the README should do the trick, I'll go > investigate that.
FWIW, you can trigger manual tasks in the cirrus-ci web-interface. Greetings, Andres Freund
