Skip to content
PR Collection Labeler

Fix crash when closing Gazebo while a modal dialog is open #8789

Sign in to view logs

Fix crash when closing Gazebo while a modal dialog is open

Fix crash when closing Gazebo while a modal dialog is open #8789

Triggered via pull request May 12, 2025 17:21
@iche033iche033
synchronize #2900
Status Success
Total duration 6s
Artifacts –

pr-collection-labeler.yml

on: pull_request_target
pr_collection_labeler
4s
pr_collection_labeler
Fit to window
Zoom out
Zoom in