30572026822
100%

Ran 30 Jul 2026 07:21PM UTC

Jobs 1

Files 268

Run time 1min

Badge

Committed 30 Jul 2026 06:48PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge pull request #1163 from AmirF194/fix/scoring-delete-unindexed-id

Fix Scoring.delete() crashing on ids that were never indexed

Coverage Stats

2 of 2 new or added lines in 2 files covered. (100.0%)

10518 of 10518 relevant lines covered (100.0%)

1.0 hits per line

ID	Job ID	Ran	Files	Coverage
1	30572026822.1	30 Jul 2026 07:21PM UTC	268	100.0	GitHub Action Run