Marcel 18baba49e6 ci(coverage): simplify coverage step and pin shell to bash ...

- removes unreachable `; exit ${PIPESTATUS[0]}` — already covered by pipefail (Tobias)
- adds explicit `shell: bash` to both new steps for clarity (Tobias)

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-05-12 09:56:06 +02:00

..

workflows

ci(coverage): simplify coverage step and pin shell to bash

2026-05-12 09:56:06 +02:00