push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/ebf51ef867288e424cfebff77389d7918c33a73a">ebf51ef86<a href="https://github.com/ElektraInitiative/libelektra/commit/ebf51ef867288e424cfebff77389d7918c33a73a">">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/5adb8fafbf6f91f5967946a85983795c9bec0493">5adb8fafb</a>">5adb8fafb</a><a href="https://github.com/ElektraInitiative/libelektra/commit/ebf51ef867288e424cfebff77389d7918c33a73a">' into HEAD
39465 of 51372 relevant lines covered (76.82%)
219476.47 hits per line
The commit SHA "ebf51ef867288e424cfebff77389d7918c33a73a" 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.