Skip to content

Change Edge::label from optional to required #2148

Change Edge::label from optional to required

Change Edge::label from optional to required #2148

Triggered via pull request December 30, 2024 21:26
Status Success
Total duration 25m 2s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in