push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/8158ecd5aa218652e2a4d7249693f9ef9ff90f0c">8158ecd5a<a href="https://github.com/ElektraInitiative/libelektra/commit/8158ecd5aa218652e2a4d7249693f9ef9ff90f0c">">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/844c25551903b57ca4f68b47ca61b18511788f5b">844c25551</a>">844c25551</a><a href="https://github.com/ElektraInitiative/libelektra/commit/8158ecd5aa218652e2a4d7249693f9ef9ff90f0c">' into HEAD
36624 of 48673 relevant lines covered (75.25%)
129199.66 hits per line
The commit SHA "8158ecd5aa218652e2a4d7249693f9ef9ff90f0c" 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.