Robin Linden a7c87b7bcc Remove step names from CI ...

The commands we run are simple enough that having a name instead of the
command displayed just makes things less obvious.

2022-06-06 18:36:28 +02:00

..

ci.yaml

Remove step names from CI

2022-06-06 18:36:28 +02:00