Skip to content

Added a precondition for Arrangement_on_surface_2::merge_edge(e1, e2) #3486

Added a precondition for Arrangement_on_surface_2::merge_edge(e1, e2)

Added a precondition for Arrangement_on_surface_2::merge_edge(e1, e2) #3486

Triggered via pull request February 18, 2025 15:40
Status Success
Total duration 1m 22s
Artifacts

reuse.yml

on: pull_request
Fit to window
Zoom out
Zoom in