581700249
70%
master: 47%

Ran 19 Feb 2021 02:32PM UTC

Jobs 1

Files 61

Run time 11s

Badge

Build Type

github

Committed by GitHub

Commit Message

Merge fc7c1734d into bf08a3ec3

Run Details

233 of 233 new or added lines in 15 files covered. (100.0%)

5807 of 8268 relevant lines covered (70.23%)

2.26 hits per line

Lines	Coverage	∆	File
2	24.03	-0.16%	src/main.rs
2	70.55	-0.49%	steel/src/rvals.rs
2	25.35	-0.73%	steel_vm/src/engine.rs
2	74.93	-0.27%	steel_vm/src/vm.rs
3	0.0	0.0%	steel_repl/src/repl.rs
4	10.53	0.11%	steel/src/rerrs.rs
6	75.71	0.71%	steel/src/contracts.rs
32	34.69		steel/src/parser/span_visitor.rs
36	72.58	1.27%	steel_vm/src/contracts.rs

Lines	Coverage	∆	File
1	24.03	-0.16%	src/main.rs
1	10.53	0.11%	steel/src/rerrs.rs

ID	Job ID	Ran	Files	Coverage
1	581700249.1	19 Feb 2021 02:32PM UTC	61	70.23	GitHub Action Run