Christoph Reiter 8079a39678 CI: always set a job name ...

So we can reference it as a merge requirement and it doesn't change

2021-03-26 20:22:38 +01:00

..

workflows

CI: always set a job name

2021-03-26 20:22:38 +01:00