Fix #5919: Only one possible (always entered) loop exit path is not detected #195
Triggered via pull request
March 7, 2026 17:48
VincentLanglet
VincentLanglet
closed
#5072
Status
Skipped
Total duration
1s
Artifacts
–
close-issues-on-merge.yml
on: pull_request_target
Close linked issues
0s