push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/f042ec96237e1ebc39fa48dcf4217698aa00c986">f042ec962<a href="https://github.com/ElektraInitiative/libelektra/commit/f042ec96237e1ebc39fa48dcf4217698aa00c986">">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/d5b33673f75b594586a340aa673cdd5d2a5afe4a">d5b33673f</a>">d5b33673f</a><a href="https://github.com/ElektraInitiative/libelektra/commit/f042ec96237e1ebc39fa48dcf4217698aa00c986">' into HEAD
461 of 13074 relevant lines covered (3.53%)
9.44 hits per line
The commit SHA "f042ec96237e1ebc39fa48dcf4217698aa00c986" 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.