2313
61%

Ran 20 Jul 2020 02:39PM UTC

Jobs 3

Files 41

Run time 1min

Badge

Build # 2313

Build Type

push

travis-ci-com

Committed by

Commit Message

Builtin size on maps takes constant time. Adjust gas (#868)

Run Details

2950 of 5289 relevant lines covered (55.78%)

46063.69 hits per line

ID	Job ID	Ran	Coverage
1	2313.1 (OCAML_VERSION=4.09.1)	20 Jul 2020 02:39PM UTC	55.78	Travis Job 2313.1
2	2313.2 (OCAML_VERSION=4.08.1)	20 Jul 2020 02:40PM UTC	55.78	Travis Job 2313.2
3	2313.3 (OCAML_VERSION=4.07.1)	20 Jul 2020 02:39PM UTC	55.78	Travis Job 2313.3

Detailed source file information is not available for this build.