Skip to content

fix race condition causing the reporting of negative "evidence added" number#1530

Merged
AlyaGomaa merged 3 commits into
developfrom
alya/fix_reported_ev_number
Jul 8, 2025
Merged

fix race condition causing the reporting of negative "evidence added" number#1530
AlyaGomaa merged 3 commits into
developfrom
alya/fix_reported_ev_number

Conversation

@AlyaGomaa
Copy link
Copy Markdown
Collaborator

@AlyaGomaa AlyaGomaa commented Jul 7, 2025

closes #1463

@AlyaGomaa AlyaGomaa merged commit e4af442 into develop Jul 8, 2025
122 of 140 checks passed
@github-project-automation github-project-automation Bot moved this from Todo to Done in Slips Jul 8, 2025
@AlyaGomaa AlyaGomaa deleted the alya/fix_reported_ev_number branch July 8, 2025 11:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant