Robin Malfait 4277857702
Use better names for CI workflow, similar to Integration Tests workflow (#15378)
This PR improves the CI workflow names such that they are a bit more
pretty.

E.g.:
```diff
- CI / tests (20, namespace-profile-default, true)
+ CI / Linux
```
2024-12-12 13:58:56 +01:00
..
2022-11-25 06:01:12 -05:00
2024-10-17 09:05:44 -04:00
2024-03-07 09:34:19 -05:00
2021-12-17 14:58:52 -05:00
2021-12-17 14:58:52 -05:00