push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/9e7a36ba250314d9b947fbae7bb10843fce8ebdf">9e7a36ba2<a href="https://github.com/ElektraInitiative/libelektra/commit/9e7a36ba250314d9b947fbae7bb10843fce8ebdf">">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/c708660e6b3c1e91f93f6aee85f8b3a340942341">c708660e6</a>">c708660e6</a><a href="https://github.com/ElektraInitiative/libelektra/commit/9e7a36ba250314d9b947fbae7bb10843fce8ebdf">' into HEAD
37295 of 48641 relevant lines covered (76.67%)
193920.8 hits per line
The commit SHA "9e7a36ba250314d9b947fbae7bb10843fce8ebdf" 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.