Skip to content

Added a helper function and updated the existing methods to preserve edge weights when removing vertices, edges or copying digraphs (issue #683) #1404

Added a helper function and updated the existing methods to preserve edge weights when removing vertices, edges or copying digraphs (issue #683)

Added a helper function and updated the existing methods to preserve edge weights when removing vertices, edges or copying digraphs (issue #683) #1404

Triggered via pull request December 11, 2025 19:47
Status Success
Total duration 8m 53s
Artifacts

config_options.yml

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