push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/5eaf6169693e536298e524c340267bc2ffeba4fb">5eaf61696<a href="https://github.com/ElektraInitiative/libelektra/commit/5eaf6169693e536298e524c340267bc2ffeba4fb">">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/115d932222013e1feacb29fcf86fc7bc1cb566c2">115d93222</a>">115d93222</a><a href="https://github.com/ElektraInitiative/libelektra/commit/5eaf6169693e536298e524c340267bc2ffeba4fb">' into HEAD
41901 of 54327 relevant lines covered (77.13%)
229911.97 hits per line
The commit SHA "5eaf6169693e536298e524c340267bc2ffeba4fb" 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.