Skip to content

Change Edge::label from optional to required #2310

Change Edge::label from optional to required

Change Edge::label from optional to required #2310

Triggered via pull request February 4, 2025 14:24
Status Cancelled
Total duration 7m 29s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
ci
Canceling since a higher priority waiting request for 'ci-1205/merge-pull_request' exists