888807810
70%
master: 47%

Ran 29 May 2021 07:33PM UTC

Jobs 1

Files 71

Run time 6s

Badge

Build Type

github

Committed by GitHub

Commit Message

Merge abdfb727c into 2f664ee8b

Run Details

409 of 409 new or added lines in 14 files covered. (100.0%)

7425 of 10507 relevant lines covered (70.67%)

1.97 hits per line

Lines	Coverage	∆	File
1	82.69	0.22%	steel/src/parser/rename_idents.rs
2	83.02	-3.26%	steel/src/steel_vm/lazy_stream.rs
3	75.11	0.32%	steel/src/parser/replace_idents.rs
8	0.0		steel/src/steel_vm/options.rs
16	56.25	-18.75%	steel/src/steel_vm/heap.rs
19	43.71	-3.91%	steel/src/steel_vm/engine.rs
20	50.0	-1.71%	steel/src/compiler/compiler.rs
29	64.76	-10.1%	steel/src/steel_vm/contracts.rs
32	63.43	-8.29%	steel/src/steel_vm/transducers.rs
45	84.75	-7.73%	steel/src/parser/expander.rs
56	64.87	-1.02%	steel/src/steel_vm/vm.rs

Lines	Coverage	∆	File
5	64.87	-1.02%	steel/src/steel_vm/vm.rs
19	63.43	-8.29%	steel/src/steel_vm/transducers.rs

ID	Job ID	Ran	Files	Coverage
1	888807810.1	29 May 2021 07:33PM UTC	71	70.67	GitHub Action Run