On Mon, Aug 19, 2024 at 12:51 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > I'm not sure why the CI script should trigger that though. It > does do a couple of "port" calls without "sudo", but not in places > where the state should be only partially upgraded.
Oooh, I think I see where we missed a sudo: if [ -n "$(port -q installed installed)" ] ; then
