push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/ef7361bf7e0b39a2dbfa1590fb707ba2eeaa8e53">ef7361bf7<a href="https://github.com/ElektraInitiative/libelektra/commit/ef7361bf7e0b39a2dbfa1590fb707ba2eeaa8e53">">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/24862264f8f65b01034d56e04fc01ab218bd7158">24862264f</a>">24862264f</a><a href="https://github.com/ElektraInitiative/libelektra/commit/ef7361bf7e0b39a2dbfa1590fb707ba2eeaa8e53">' into HEAD
0 of 112161 relevant lines covered (0.0%)
0.0 hits per line
The commit SHA "ef7361bf7e0b39a2dbfa1590fb707ba2eeaa8e53" 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.