Extend shapes gui plugin width to include the ellipsoid button (backport #2699) #8289
Triggered via pull request
December 13, 2024 15:41
mergify[bot]
mergify[bot]
opened
#2701
Status
Success
Total duration
17s
Artifacts
–
pr-collection-labeler.yml
on: pull_request_target
pr_collection_labeler
5s
Annotations
1 warning and 1 notice
|
pr_collection_labeler
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
pr_collection_labeler
Adding labels: [🎵 harmonic] to PR [2701]
|