push
jenkins-ci
<a href="https://github.com/ElektraInitiative/libelektra/commit/<a class=hub.com/ElektraInitiative/libelektra/commit/98c7eed70d5fa105adc136b1c78ba0af41c9afb4">98c7eed70<a href="https://github.com/ElektraInitiative/libelektra/commit/98c7eed70d5fa105adc136b1c78ba0af41c9afb4">">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/5a527fdfeda5b53276ad6e6c974794675ffb28f9">5a527fdfe</a>">5a527fdfe</a><a href="https://github.com/ElektraInitiative/libelektra/commit/98c7eed70d5fa105adc136b1c78ba0af41c9afb4">' into HEAD
37451 of 48946 relevant lines covered (76.51%)
191532.15 hits per line
The commit SHA "98c7eed70d5fa105adc136b1c78ba0af41c9afb4" 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.