push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/1194e14b821cf4667e17a0fcd85e1961d5d56452">1194e14b8<a href="https://github.com/ElektraInitiative/libelektra/commit/1194e14b821cf4667e17a0fcd85e1961d5d56452">">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/90ab22ebc39291a1ae79868cc6eef65458d1bea6">90ab22ebc</a>">90ab22ebc</a><a href="https://github.com/ElektraInitiative/libelektra/commit/1194e14b821cf4667e17a0fcd85e1961d5d56452">' into HEAD
40045 of 52139 relevant lines covered (76.8%)
217298.28 hits per line
The commit SHA "1194e14b821cf4667e17a0fcd85e1961d5d56452" 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.