6221803488
79%

Ran 18 Sep 2023 11:31AM UTC

Jobs 12

Files 76

Run time 3s

Badge

Committed 18 Sep 2023 11:20AM UTC coverage: 82.803% (-0.5%) from 83.347%

Build Type

push

github

Committed by

Commit Message

Merge pull request #188 from WenjieDu/dev

Merge dev into main

Run Details

42 of 42 new or added lines in 6 files covered. (100.0%)

3120 of 3768 relevant lines covered (82.8%)

9.91 hits per line

ID	Job ID	Ran	Coverage
1	6221803488.1	18 Sep 2023 11:31AM UTC	82.52	GitHub Action Run
2	6221803488.2	18 Sep 2023 11:31AM UTC	82.69	GitHub Action Run
3	6221803488.3	18 Sep 2023 11:34AM UTC	82.53	GitHub Action Run
4	6221803488.4	18 Sep 2023 11:35AM UTC	82.64	GitHub Action Run
5	6221803488.5	18 Sep 2023 11:39AM UTC	82.62	GitHub Action Run
6	6221803488.6	18 Sep 2023 11:39AM UTC	82.56	GitHub Action Run
7	6221803488.7	18 Sep 2023 11:39AM UTC	82.54	GitHub Action Run
8	6221803488.8	18 Sep 2023 11:43AM UTC	82.49	GitHub Action Run
9	6221803488.9	18 Sep 2023 11:45AM UTC	82.57	GitHub Action Run
10	6221803488.10	18 Sep 2023 11:45AM UTC	82.62	GitHub Action Run
11	6221803488.11	18 Sep 2023 11:49AM UTC	82.64	GitHub Action Run
12	6221803488.12	18 Sep 2023 11:50AM UTC	82.59	GitHub Action Run

Detailed source file information is not available for this build.