Skip to content

Comments

Remove bottles broken by urdfdom 5.1#3348

Merged
scpeters merged 20 commits intomasterfrom
scpeters/rm_bottles_urdfdom
Feb 7, 2026
Merged

Remove bottles broken by urdfdom 5.1#3348
scpeters merged 20 commits intomasterfrom
scpeters/rm_bottles_urdfdom

Conversation

@scpeters
Copy link
Member

@scpeters scpeters commented Feb 7, 2026

Part of #3343.

The jenkins job to remove broken bottles isn't working properly, so I ran this manually:

for m in sdformat12 sdformat14 sdformat15 sdformat16
do
    brew bump-revision --remove-bottle-block --message="broken bottle" $m
    for f in $(.github/ci/bottled_dependents.sh $m)
    do
        brew bump-revision --remove-bottle-block --message="broken bottle" $f
    done
done

@scpeters scpeters merged commit 7a96db7 into master Feb 7, 2026
1 check passed
@scpeters scpeters deleted the scpeters/rm_bottles_urdfdom branch February 7, 2026 08:30
@scpeters scpeters mentioned this pull request Feb 7, 2026
16 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant