You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[20679] Run Github Ubuntu CI on PRs (backport #4598)#4601
Closed
mergify[bot] wants to merge 1 commit into2.10.xeProsima/Fast-DDS:2.10.xfrom mergify/bp/2.10.x/pr-4598eProsima/Fast-DDS:mergify/bp/2.10.x/pr-4598Copy head branch name to clipboard
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}