Ayke van Laethem 785eb93b62 ci: rename release-double-zipped to something more useful ...

The Linux artifacts have clear names (linux-amd64-double-zipped etc),
but the MacOS and Windows ones didn't. This patch renames these artifact
names to be more readable, especially when downloading the artifacts.

2023-06-16 21:32:22 +02:00

..

workflows

ci: rename release-double-zipped to something more useful

2023-06-16 21:32:22 +02:00