push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/5cc4f87b17d911cbec39325d8f36caea3a5116e3">5cc4f87b1<a href="https://github.com/ElektraInitiative/libelektra/commit/5cc4f87b17d911cbec39325d8f36caea3a5116e3">">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/844c25551903b57ca4f68b47ca61b18511788f5b">844c25551</a>">844c25551</a><a href="https://github.com/ElektraInitiative/libelektra/commit/5cc4f87b17d911cbec39325d8f36caea3a5116e3">' into HEAD
37239 of 48719 relevant lines covered (76.44%)
191518.1 hits per line
The commit SHA "5cc4f87b17d911cbec39325d8f36caea3a5116e3" 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.