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 <[email protected]>
@dbenders1 dbenders1 requested a review from pablogs9 as a code owner October 7, 2025 06:54
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