Rename `unneeded-not` to `unnecessary-negation` for clarity #8385

Sign in to view logs

Triggered via pull request August 6, 2023 02:50

jacobtylerwalls

synchronize #8846

gracejiang16:fix-unneeded-not

Status Success

Total duration 7m 14s

Artifacts –

checks.yaml

on: pull_request

Prepare base dependencies