Skip to content

Fix #5919: Only one possible (always entered) loop exit path is not detected #13824

Fix #5919: Only one possible (always entered) loop exit path is not detected

Fix #5919: Only one possible (always entered) loop exit path is not detected #13824

Triggered via pull request February 27, 2026 15:12
Status Success
Total duration 23s
Artifacts

block-merge-commits.yml

on: pull_request
Block Merge Commits
19s
Block Merge Commits
Fit to window
Zoom out
Zoom in