fix double negatives#2919

Merged

jycor merged 3 commits intomainfrom

Mar 31, 2025

Commits on Mar 31, 2025

fix double negatives
James Cor
committed
[ga-format-pr] Run ./format_repo.sh to fix formatting
jycor
committed
fix test
James Cor
committed