Closed rst0git closed 7 months ago
Attention: 2 lines
in your changes are missing coverage. Please review.
Comparison is base (
6d37f9a
) 70.47% compared to head (037ff91
) 70.54%.:exclamation: Current head 037ff91 differs from pull request most recent head 424bb9c. Consider uploading reports for the commit 424bb9c to get more accurate results
Files | Patch % | Lines |
---|---|---|
criu/kerndat.c | 50.00% | 2 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
The commit introducing
PAGE_IS_SOFT_DIRTY
has not been merged in kernel v6.7.x, and as a result, CRIU fails with the following error:This patch updates
check_pagemap()
in kerndat to also check ifPAGE_IS_SOFT_DIRTY
is supported.Fixes: #2334