Skip to content

Change Edge::label from optional to required #2190

Change Edge::label from optional to required

Change Edge::label from optional to required #2190

Triggered via pull request January 8, 2025 15:15
Status Success
Total duration 24m 7s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ci
Cache save failed.