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

Commits

Commits on Nov 5, 2025