Skip to content

Conversation

@bernlu
Copy link

@bernlu bernlu commented Oct 15, 2024

No description provided.

@bernlu bernlu requested a review from fabratu October 15, 2024 15:37
@fabratu
Copy link
Member

fabratu commented Oct 16, 2024

CI errors are not triggered by this PR and will be fixed in another PR.

@fabratu fabratu merged commit 164d3e5 into networkit:master Oct 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants