4683864411
92%

Ran 12 Apr 2023 11:32PM UTC

Jobs 1

Files 3

Run time 1s

Badge

Committed 12 Apr 2023 11:32PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by GitHub

Commit Message

Adds descriptive error when failing to make concrete (#51)

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	4683864411.1	12 Apr 2023 11:32PM UTC	3	100.0	GitHub Action Run