16621696826
94%

Ran 30 Jul 2025 11:54AM UTC

Jobs 10

Files 53

Run time 1min

Badge

Committed 30 Jul 2025 11:49AM UTC coverage: 93.654%. Remained the same

Build Type

push

github

Committed by

Commit Message

Fixed typo in snapshot.py (#1211)

Run Details

3483 of 3719 relevant lines covered (93.65%)

17.66 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.12-base - 16621696826.1	30 Jul 2025 11:57AM UTC	102	85.16	GitHub Action Run
2	run-3.10-z3-solver - 16621696826.2	30 Jul 2025 11:55AM UTC	102	91.96	GitHub Action Run
3	run-3.12-z3-solver - 16621696826.3	30 Jul 2025 11:58AM UTC	102	91.91	GitHub Action Run
4	run-3.9-base - 16621696826.4	30 Jul 2025 11:55AM UTC	102	84.06	GitHub Action Run
5	run-3.10-base - 16621696826.5	30 Jul 2025 11:55AM UTC	102	85.18	GitHub Action Run
6	run-3.11-z3-solver - 16621696826.6	30 Jul 2025 11:56AM UTC	102	91.93	GitHub Action Run
7	run-3.13-base - 16621696826.7	30 Jul 2025 11:56AM UTC	102	85.16	GitHub Action Run
8	run-3.13-z3-solver - 16621696826.8	30 Jul 2025 11:57AM UTC	102	91.91	GitHub Action Run
9	run-3.9-z3-solver - 16621696826.9	30 Jul 2025 11:55AM UTC	102	90.87	GitHub Action Run
10	run-3.11-base - 16621696826.10	30 Jul 2025 11:54AM UTC	102	85.18	GitHub Action Run