5590339535
80%

Ran 18 Jul 2023 05:25PM UTC

Jobs 6

Files 119

Run time 2s

Badge

Committed 18 Jul 2023 05:06PM UTC coverage: 81.462% (+0.02%) from 81.439%

Build Type

push

github

Committed by

Commit Message

Fix bool check in "make verify" (#411)

Run Details

7022 of 8620 relevant lines covered (81.46%)

214281.56 hits per line

ID	Job ID	Ran	Coverage
1	5590339535.1	18 Jul 2023 05:25PM UTC	81.42	GitHub Action Run
2	5590339535.2	18 Jul 2023 05:25PM UTC	81.36	GitHub Action Run
3	5590339535.3	18 Jul 2023 05:26PM UTC	81.37	GitHub Action Run
4	5590339535.4	18 Jul 2023 05:26PM UTC	81.37	GitHub Action Run
5	5590339535.5	18 Jul 2023 05:26PM UTC	81.36	GitHub Action Run
6	5590339535.6	18 Jul 2023 05:26PM UTC	81.39	GitHub Action Run

Detailed source file information is not available for this build.