Re: ci: update to freebsd 13.1 / remove minor versions from image names

Hi,

On 2022-07-31 16:27:37 -0700, Andres Freund wrote:
> On 2022-08-01 10:07:32 +1200, Thomas Munro wrote:
> > > > I suspect it'd be better to remove the minor version numbers from the
> > > > image name, so that switches from 13.0 -> 13.1 don't require CI
> > > > changes. Any argument against?
> > 
> > Yeah, that makes sense; it'd remove the need for commits like that.
> > For comparison, the Debian image is Bullseye AKA 11.x without the x in
> > the name.
> 
> Cool, doing that in https://github.com/anarazel/pg-vm-images/pull/15

That worked, and now I've updated the PG .cirrus.yml to point to that.

Greetings,

Andres Freund