Skip to content

CI: Update image + actions.#85

Merged
fabratu merged 1 commit intonetworkit:masterfrom
fabratu:20251105_gha_update
Nov 5, 2025
Merged

CI: Update image + actions.#85
fabratu merged 1 commit intonetworkit:masterfrom
fabratu:20251105_gha_update

Conversation

@fabratu
Copy link
Member

@fabratu fabratu commented Nov 5, 2025

No description provided.

@fabratu fabratu merged commit 1e7683d into networkit:master Nov 5, 2025
1 check passed
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