push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/4ebbd39f727bffa2f2abf912a6459a741a15146d">4ebbd39f7<a href="https://github.com/ElektraInitiative/libelektra/commit/4ebbd39f727bffa2f2abf912a6459a741a15146d">">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/2a83ca3eae7c19dff3553839512d8e484f3742bf">2a83ca3ea</a>">2a83ca3ea</a><a href="https://github.com/ElektraInitiative/libelektra/commit/4ebbd39f727bffa2f2abf912a6459a741a15146d">' into HEAD
39481 of 51382 relevant lines covered (76.84%)
204151.46 hits per line
The commit SHA "4ebbd39f727bffa2f2abf912a6459a741a15146d" 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.