Skip to content

Conversation

MImmesberger
Copy link
Collaborator

What problem do you want to solve?

@JuergenWiemers made me aware that #1064 set the wrong path for our root directory specified in main. This PR fixes this and adds a corresponding test.

@MImmesberger MImmesberger requested a review from hmgaudecker July 28, 2025 09:26
@MImmesberger
Copy link
Collaborator Author

Oops, better do this in #1064 directly. Didn't check over there before creating this one!

@hmgaudecker hmgaudecker deleted the fix-gettsim-root branch August 9, 2025 09:34
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