On Mon, Aug 19, 2024 at 12:51 PM Tom Lane <tgl@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