Skip to content

do not overwrite ignore reported extents settting with the default value (fix #60496) #35160

do not overwrite ignore reported extents settting with the default value (fix #60496)

do not overwrite ignore reported extents settting with the default value (fix #60496) #35160

Triggered via pull request February 7, 2025 15:13
@alexbruyalexbruy
opened #60513
Status Success
Total duration 14s
Artifacts

pr-needs-documentation.yml

on: pull_request_target
Write comment to ping author about the pull request description
3s
Write comment to ping author about the pull request description
Create issue on doc repo for labeled issue
0s
Create issue on doc repo for labeled issue
Update final milestone  /  pr-without-milestones
Update final milestone / pr-without-milestones
Fit to window
Zoom out
Zoom in