17765543249
54%

Ran 16 Sep 2025 12:24PM UTC

Jobs 8

Files 23

Run time 1min

Badge

Committed 16 Sep 2025 12:19PM UTC coverage: 53.629%. Remained the same

Build Type

push

github

Committed by

Commit Message

solver choice docs upd

Run Details

702 of 1309 relevant lines covered (53.63%)

3174.59 hits per line

ID	Job ID	Ran	Files	Coverage
1	17765543249.1	16 Sep 2025 12:24PM UTC	23	53.55	GitHub Action Run
2	17765543249.2	16 Sep 2025 12:24PM UTC	23	53.55	GitHub Action Run
3	17765543249.3	16 Sep 2025 12:25PM UTC	23	53.55	GitHub Action Run
4	17765543249.4	16 Sep 2025 12:27PM UTC	23	53.55	GitHub Action Run
5	17765543249.5	16 Sep 2025 12:28PM UTC	23	53.55	GitHub Action Run
6	17765543249.6	16 Sep 2025 12:29PM UTC	23	53.21	GitHub Action Run
7	17765543249.7	16 Sep 2025 12:29PM UTC	23	53.21	GitHub Action Run
8	17765543249.8	16 Sep 2025 12:32PM UTC	23	53.21	GitHub Action Run