4
79%
main: 79%

Ran 18 Jul 2023 01:53AM UTC

Files 74

Run time 0s

Badge

Committed 13 Jul 2023 01:30PM UTC coverage: 83.976% (-0.03%) from 84.003%

Build Type

push

github

Committed by

Commit Message

Merge pull request #159 from WenjieDu/dev

Update the greeting workflow, and update the docs

Run Details

3092 of 3682 relevant lines covered (83.98%)

0.84 hits per line