CI: create separate artifacts for macos-{13,14,15}

[AkihiroSuda]

Now the following artifacts are created:

• lima-VERSION-Darwin_macOS13-{arm64,x86_64}.tar.gz
• lima-VERSION-Darwin_macOS14-{arm64,x86_64}.tar.gz
• lima-VERSION-Darwin_macOS15-{arm64,x86_64}.tar.gz
• lima-VERSION-Darwin-{arm64,x86_64}.tar.gz (identical to *-Darwin_macOS15-*)
• lima-VERSION-Linux-{aarch64,x86_64}.tar.gz

Fix #2753

[jandubois]

lima-cdbdb72-Darwin-arm64.tar.gz
lima-cdbdb72-Darwin-x86_64.tar.gz
lima-cdbdb72-Darwin_macOS13-arm64.tar.gz
[...]
lima-cdbdb72-Darwin_macOS15-x86_64.tar.gz

Don't really like mixing _ and - in the filename. How about

lima-cdbdb72-Darwin-arm64-macos13.tar.gz
lima-cdbdb72-Darwin-arm64-macos14.tar.gz
lima-cdbdb72-Darwin-arm64-macos15.tar.gz
lima-cdbdb72-Darwin-arm64.tar.gz
lima-cdbdb72-Darwin-x86_64-macos13.tar.gz
lima-cdbdb72-Darwin-x86_64-macos14.tar.gz
lima-cdbdb72-Darwin-x86_64-macos15.tar.gz
lima-cdbdb72-Darwin-x86_64.tar.gz

[AkihiroSuda]

lima-cdbdb72-Darwin-arm64.tar.gz
lima-cdbdb72-Darwin-x86_64.tar.gz
lima-cdbdb72-Darwin_macOS13-arm64.tar.gz
[...]
lima-cdbdb72-Darwin_macOS15-x86_64.tar.gz

Don't really like mixing _ and - in the filename. How about

lima-cdbdb72-Darwin-arm64-macos13.tar.gz
lima-cdbdb72-Darwin-arm64-macos14.tar.gz
lima-cdbdb72-Darwin-arm64-macos15.tar.gz
lima-cdbdb72-Darwin-arm64.tar.gz
lima-cdbdb72-Darwin-x86_64-macos13.tar.gz
lima-cdbdb72-Darwin-x86_64-macos14.tar.gz
lima-cdbdb72-Darwin-x86_64-macos15.tar.gz
lima-cdbdb72-Darwin-x86_64.tar.gz

I considered this, but I don't like splitting the OS identifier to two and put the arch name between them

[AkihiroSuda]

Alternatively we can have

lima-cdbdb72-macOS-x86_64.tar.gz
lima-cdbdb72-macOS13-arm64.tar.gz
...

But this will probably break somebody's script

[jandubois]

I considered this, but I don't like splitting the OS identifier to two and put the arch name between them

I know, but it is the only way to keep all the releases for each arch together.

[jandubois]

Anyways, looks like every possible naming scheme has some drawbacks, so we just have to pick one. If you prefer the one with the -, then let's keep it as-is.

[AkihiroSuda]

Don't really like mixing _ and - in the filename.

We already have an underscore in "x86_64", so I think this is fine?

[jandubois]

We already have an underscore in "x86_64", so I think this is fine?

I'm not saying it is fine, but I won't object. 😄

We do seem to have a CI issue though: