push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/3442fc6f73c37c24b24b2547251b6b57856a2962">3442fc6f7<a href="https://github.com/ElektraInitiative/libelektra/commit/3442fc6f73c37c24b24b2547251b6b57856a2962">">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/49fd0f87114c4a22b3e6585cf88bb17369deba80">49fd0f871</a>">49fd0f871</a><a href="https://github.com/ElektraInitiative/libelektra/commit/3442fc6f73c37c24b24b2547251b6b57856a2962">' into HEAD
35308 of 48528 relevant lines covered (72.76%)
39102.87 hits per line
The commit SHA "3442fc6f73c37c24b24b2547251b6b57856a2962" 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.