Matthias Schiffer fcd05b5e1c Revert "ci: add shorter labels for target OS names again" ... This reverts commit f898116209. Let's keep the full target names to stay compatible with cargo-binstall (and possibly cargo-dist in the future).		2023-09-17 21:45:36 +02:00
..
workflows	Revert "ci: add shorter labels for target OS names again"	2023-09-17 21:45:36 +02:00