Vadim Zeitlin a2ff01a910 Use better names for the CI builds ... Don't rely on the auto-generated names which are not very useful: e.g. currently something like "build (1, python, 3)" is shown, while this commit changes it to just "python3" which is both shorter and more readable.		2021-09-30 17:08:23 +02:00
..
ci.yml	Use better names for the CI builds	2021-09-30 17:08:23 +02:00