Skip to content

chore: lint device config files as part of CI #11180

chore: lint device config files as part of CI

chore: lint device config files as part of CI #11180

Triggered via pull request October 30, 2023 11:02
Status Cancelled
Total duration 1m 7s
Artifacts

generate-docs.yml

on: pull_request
Matrix: check-and-update
Fit to window
Zoom out
Zoom in

Annotations

2 errors
check-and-update (18)
Canceling since a higher priority waiting request for 'generate-docs-refs/pull/6471/merge' exists
check-and-update (18)
The operation was canceled.