push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/2f75627f795bf73a8ec3319541062a39b51f606a">2f75627f7<a href="https://github.com/ElektraInitiative/libelektra/commit/2f75627f795bf73a8ec3319541062a39b51f606a">">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/2e4e592063c0b4ce1c6fd6d7ecd1589ec44010ca">2e4e59206</a>">2e4e59206</a><a href="https://github.com/ElektraInitiative/libelektra/commit/2f75627f795bf73a8ec3319541062a39b51f606a">' into HEAD
30534 of 50673 relevant lines covered (60.26%)
6068.84 hits per line
The commit SHA "2f75627f795bf73a8ec3319541062a39b51f606a" 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.