7188682619
100%
master: 100%

Ran 12 Dec 2023 11:50PM UTC

Jobs 1

Files 7

Run time 2s

Badge

Committed 12 Dec 2023 11:47PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

fix: fix type declaration of default exprt

Run Details

29 of 30 branches covered (0.0%)

207 of 207 relevant lines covered (100.0%)

13.55 hits per line

ID	Job ID	Ran	Files	Coverage
1	run- - 7188682619.1	12 Dec 2023 11:50PM UTC	7	100.0	GitHub Action Run