Skip to content

Conversation

@dbenders1
Copy link

@dbenders1 dbenders1 commented Oct 7, 2025

@pablogs9 Could you please take a look at this small pull request?

It adds a fix to #793 by checking whether the directory exists before trying to cd into it. Currently, this little issue breaks our build pipeline. Thanks!

Signed-off-by: dbenders1 <dbenders@hotmail.nl>
@dbenders1 dbenders1 requested a review from pablogs9 as a code owner October 7, 2025 06:54
@EugenioCollado
Copy link
Contributor

Hi @dbenders1, this issue has been addressed in this PR and it is already merged in Humble. Thank you for your contribution

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.

2 participants