Skip to content

Refactored DigraphReverse and UndirectedSpanningTree to use SwapDigraphs instead of directly assigning OutNeighbours #1363

Refactored DigraphReverse and UndirectedSpanningTree to use SwapDigraphs instead of directly assigning OutNeighbours

Refactored DigraphReverse and UndirectedSpanningTree to use SwapDigraphs instead of directly assigning OutNeighbours #1363

Triggered via pull request December 2, 2025 22:38
Status Success
Total duration 9m 51s
Artifacts

config_options.yml

on: pull_request
Matrix: all-options
Matrix: with-external-planarity-bliss
Fit to window
Zoom out
Zoom in