7142422960
80%
main: 79%

Ran 08 Dec 2023 02:27PM UTC

Jobs 9

Files 138

Run time 9s

Badge

Committed 08 Dec 2023 02:16PM UTC coverage: 83.679% (+0.009%) from 83.67%

Build Type

push

github

Committed by

Commit Message

feat: add get_random_seed();

Run Details

3 of 4 new or added lines in 1 file covered. (75.0%)

4763 of 5692 relevant lines covered (83.68%)

7.52 hits per line

ID	Job ID	Ran	Coverage
1	7142422960.1	08 Dec 2023 02:25PM UTC	83.63	GitHub Action Run
2	7142422960.2	08 Dec 2023 02:28PM UTC	83.61	GitHub Action Run
3	7142422960.3	08 Dec 2023 02:28PM UTC	83.59	GitHub Action Run
4	7142422960.4	08 Dec 2023 02:29PM UTC	83.61	GitHub Action Run
5	7142422960.5	08 Dec 2023 02:33PM UTC	83.56	GitHub Action Run
6	7142422960.6	08 Dec 2023 02:34PM UTC	83.65	GitHub Action Run
7	7142422960.7	08 Dec 2023 02:35PM UTC	83.65	GitHub Action Run
8	7142422960.8	08 Dec 2023 02:35PM UTC	83.54	GitHub Action Run
9	7142422960.9	08 Dec 2023 02:35PM UTC	83.56	GitHub Action Run

Detailed source file information is not available for this build.