16453070281
94%

Ran 22 Jul 2025 07:03PM UTC

Jobs 10

Files 53

Run time 1min

Badge

Committed 22 Jul 2025 06:57PM UTC coverage: 92.935%. Remained the same

Build Type

push

github

Committed by

Commit Message

Replaced dropdown svgs with Heroicons (#1202)

Run Details

3499 of 3765 relevant lines covered (92.93%)

17.53 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.11-z3-solver - 16453070281.1	22 Jul 2025 07:04PM UTC	102	91.24	GitHub Action Run
2	run-3.12-base - 16453070281.2	22 Jul 2025 07:05PM UTC	102	84.54	GitHub Action Run
3	run-3.10-base - 16453070281.3	22 Jul 2025 07:04PM UTC	102	84.57	GitHub Action Run
4	run-3.9-base - 16453070281.4	22 Jul 2025 07:03PM UTC	102	83.45	GitHub Action Run
5	run-3.10-z3-solver - 16453070281.5	22 Jul 2025 07:04PM UTC	102	91.26	GitHub Action Run
6	run-3.13-base - 16453070281.6	22 Jul 2025 07:06PM UTC	102	84.54	GitHub Action Run
7	run-3.12-z3-solver - 16453070281.7	22 Jul 2025 07:05PM UTC	102	91.21	GitHub Action Run
8	run-3.11-base - 16453070281.8	22 Jul 2025 07:03PM UTC	102	84.57	GitHub Action Run
9	run-3.9-z3-solver - 16453070281.9	22 Jul 2025 07:04PM UTC	102	90.18	GitHub Action Run
10	run-3.13-z3-solver - 16453070281.10	22 Jul 2025 07:05PM UTC	102	91.21	GitHub Action Run