push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/f101dc4ab77991aa76b78f3eaa540be198a4a3d4">f101dc4ab<a href="https://github.com/ElektraInitiative/libelektra/commit/f101dc4ab77991aa76b78f3eaa540be198a4a3d4">">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/97ac6f411e81d44cfb643d040e5e521b00ebc23c">97ac6f411</a>">97ac6f411</a><a href="https://github.com/ElektraInitiative/libelektra/commit/f101dc4ab77991aa76b78f3eaa540be198a4a3d4">' into HEAD
460 of 20817 relevant lines covered (2.21%)
5.77 hits per line
The commit SHA "f101dc4ab77991aa76b78f3eaa540be198a4a3d4" 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.