4683456645
100%
master: 92%

Ran 12 Apr 2023 10:24PM UTC

Jobs 1

Files 3

Run time 1s

Badge

Committed 12 Apr 2023 10:24PM UTC coverage: 100.0%. Remained the same

Build Type

github

Committed by Daniel Johnson

Commit Message

Adds descriptive error when failing to make concrete

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

256 of 256 relevant lines covered (100.0%)

15.56 hits per line

ID	Job ID	Ran	Files	Coverage
1	4683456645.1	12 Apr 2023 10:24PM UTC	3	100.0	GitHub Action Run