14511433742
100%

Ran 17 Apr 2025 08:29AM UTC

Jobs 4

Files 53

Run time 1min

Badge

Committed 17 Apr 2025 08:28AM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

Feat: Depicting arrays having fixed length (#2543)

Cherry-picked from e6778bc9a of #2537

Run Details

1273 of 1298 branches covered (98.07%)

6 of 6 new or added lines in 1 file covered. (100.0%)

4223 of 4223 relevant lines covered (100.0%)

219.99 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-20.9.0 - 14511433742.1	17 Apr 2025 08:29AM UTC	53	100.0	GitHub Action Run
2	run-22.x - 14511433742.2	17 Apr 2025 08:29AM UTC	53	100.0	GitHub Action Run
3	run-22.0.0 - 14511433742.3	17 Apr 2025 08:28AM UTC	53	100.0	GitHub Action Run
4	run-20.x - 14511433742.4	17 Apr 2025 08:29AM UTC	53	100.0	GitHub Action Run