Skip to content

Change Edge::label from optional to required #2181

Change Edge::label from optional to required

Change Edge::label from optional to required #2181

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

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ci
Cache save failed.