3802050506
84%

Ran 29 Dec 2022 05:17PM UTC

Jobs 1

Files 7

Run time –

Badge

Committed 29 Dec 2022 - 17:17 coverage: 82.979% (-0.2%) from 83.214%

Build Type

push

github

Committed by Tor Erlend Fjelde

Commit Message

Fix concretization for `varname` (#75)

Run Details

234 of 282 relevant lines covered (82.98%)

407.32 hits per line

ID	Job ID	Ran	Files	Coverage
1	3802050506.1	29 Dec 2022 05:17PM UTC	7	82.98	GitHub Action Run