Merge bot PR

Fix `for` endless loop detection #2812

Sign in to view logs

Triggered via pull request November 11, 2024 11:54

herndlm

opened #3622

herndlm:fix-for-endless-loop-1-12-x

Status Success

Total duration 24s

Artifacts –

merge-bot-pr.yml

on: pull_request