Skip to content

Avoid that ros-distro-mutex gets delete when a new build is uploaded #477

@traversaro

Description

@traversaro

Solution to issue cannot be found in the documentation.

  • I checked the documentation.

Issue

See #476 (comment) .

Installed packages

.

Environment info

.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions