entropyxyz / manul

70%

master: 68%

LAST BUILD ON BRANCH remove-correctness-proof

branch: remove-correctness-proof

CHANGE BRANCH

x

Reset

Sync Branches

• remove-correctness-proof
• api-adjustment
• benchmarks
• better_preprocess
• cancellation
• combinators
• coveralls
• dependabot/cargo/tokio-1.43.1
• derive-where
• dev-infrastructure
• docs-build
• dp-code-reading-misc
• dp-dining-cryptographers
• dp-rename-new_dynamic
• dp-reseed-rng-on-spawn
• dp-upgrade-rand-and-others
• echo-fixes
• error-impl
• evidence-session-id
• expose-map
• fix-build
• fix-evidence
• fix-round-id
• from-iterator
• housekeeping
• less-bounds
• master
• merge-methods
• missing-message-parts
• more-required-message-methods
• naming
• no-rng-for-receive
• optimize-echo-broadcast
• override-finalize
• party_id
• protocol-helpers
• reexports
• round-id
• safe-maps
• send-sync
• serializable-map-from
• serialization
• session-id
• session-params
• simple-broadcasts
• single-serialize
• stable-test
• stateful-entry-points
• static-round
• terminate
• test-log
• testing-fixes
• threshold
• tokio
• uniform-generics
• user-serializer

Build # 11903791955

Build Type

Pull #72

github

Committed by web-flow

Commit Message

Merge 699ddab6d into 963d36e54

Pull Request Pull Request #72: Remove `CorrectnessProof`

Run Details

48 of 49 new or added lines in 5 files covered. (97.96%)

1 existing line in 1 file now uncovered.

1807 of 2596 relevant lines covered (69.61%)

90.34 hits per line