push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/16d7e632992941f8a9dbea4d8b55c6fce43a1c11">16d7e6329<a href="https://github.com/ElektraInitiative/libelektra/commit/16d7e632992941f8a9dbea4d8b55c6fce43a1c11">">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/c6d0802e42128644693261ce40f23a82e60cd5e5">c6d0802e4</a>">c6d0802e4</a><a href="https://github.com/ElektraInitiative/libelektra/commit/16d7e632992941f8a9dbea4d8b55c6fce43a1c11">' into HEAD
53959 of 93557 relevant lines covered (57.68%)
158724.05 hits per line
The commit SHA "16d7e632992941f8a9dbea4d8b55c6fce43a1c11" 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.