Repo Added
|
Files
108
|
Badge
README BADGES
|
push
travis-ci
6477 of 7968 relevant lines covered (81.29%)
285463.45 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1008 | noexp | Remove tag experimental from proof and neff We are about to use these for e-voting, which is much closer to "production" than "experimental". Also: Fix a build problem that was hidden by tag experimental. | push | travis-ci | pending completion |