push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/9831cf14b8d41e44e63b3cc8a6faea8884ba7949">9831cf14b<a href="https://github.com/ElektraInitiative/libelektra/commit/9831cf14b8d41e44e63b3cc8a6faea8884ba7949">">Merge commit '</a><a class="double-link" href="https://github.com/ElektraInitiative/libelektra/commit/<a class="double-link" href="https://github.com/ElektraInitiative/libelektra/commit/d95edabb20264aef6db35085ad329d43b70e9735">d95edabb2</a>">d95edabb2</a><a href="https://github.com/ElektraInitiative/libelektra/commit/9831cf14b8d41e44e63b3cc8a6faea8884ba7949">' into HEAD
37463 of 48968 relevant lines covered (76.51%)
191484.02 hits per line
The commit SHA "9831cf14b8d41e44e63b3cc8a6faea8884ba7949" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.