Skip to content

Override names in legend for inputs that are part of a dict #865

Override names in legend for inputs that are part of a dict

Override names in legend for inputs that are part of a dict #865

Triggered via pull request November 16, 2023 09:02
Status Cancelled
Total duration 1m 3s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Formatting and static analysis
51s
Formatting and static analysis
docs  /  Build documentation
docs / Build documentation
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Formatting and static analysis
Canceling since a higher priority waiting request for 'CI-refs/pull/279/merge' exists
Formatting and static analysis
The operation was canceled.