1
87%
master: 87%

Ran 13 Jun 2021 03:29AM UTC

Files 127

Run time 7s

Badge

Committed 01 Jun 2021 08:40PM UTC coverage: 86.8%. Remained the same

Job # OSSRH_JIRA_USERNAME=[secure] OSSRH_JIRA_PASSWORD=[secure] GPG_KEY_NAME=[secure] GPG_PASSPHRASE=[secure] COVERALLSTOKEN=[secure]

Build Type

cron

travis-ci

Committed by

pcmind

Commit Message

fix: compact all boundary files that share same user key

As reported in Github issue 339 in google/leveldb, it is incorrect to split the
same user key across multiple compacted files since it causes
tombstones/newer-versions to be dropped, thereby exposing obsolete
data. There was a fix by commit 9ffeed11, but it ended up not fully fixing
the problem. (It checked for boundary problems in the first level
being compacted, but not the second). This problem was revealed
by Github issue 887 in google/leveldb.

We now adjust boundaries to avoid splitting user keys in both the
first level and the second level.

Run Details

4544 of 5235 relevant lines covered (86.8%)

0.87 hits per line

Source Files on job 1421.1 (OSSRH_JIRA_USERNAME=[secure] OSSRH_JIRA_PASSWORD=[secure] GPG_KEY_NAME=[secure] GPG_PASSPHRASE=[secure] COVERALLSTOKEN=[secure])

pcmind / leveldb / 1421 / 1
87%
master: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1421.1 (OSSRH_JIRA_USERNAME=[secure] OSSRH_JIRA_PASSWORD=[secure] GPG_KEY_NAME=[secure] GPG_PASSPHRASE=[secure] COVERALLSTOKEN=[secure])

pcmind / leveldb / 1421 / 1 87% master: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1421.1 (OSSRH_JIRA_USERNAME=[secure] OSSRH_JIRA_PASSWORD=[secure] GPG_KEY_NAME=[secure] GPG_PASSPHRASE=[secure] COVERALLSTOKEN=[secure])

pcmind / leveldb / 1421 / 1
87%
master: 87%

README BADGES
x