Skip to content

Merge branch 'microsoft:main' into main #177

Merge branch 'microsoft:main' into main

Merge branch 'microsoft:main' into main #177

Triggered via push February 3, 2025 12:50
Status Cancelled
Total duration 25m 27s
Artifacts

lint.yml

on: push
Optional Lint
33s
Optional Lint
Python format
0s
Python format
Optional Lint C++
25m 11s
Optional Lint C++
Lint JavaScript
0s
Lint JavaScript
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Python format
Canceling since a higher priority waiting request for 'Lint-refs/heads/main-false' exists
Lint JavaScript
Canceling since a higher priority waiting request for 'Lint-refs/heads/main-false' exists
Optional Lint C++
Canceling since a higher priority waiting request for 'Lint-refs/heads/main-false' exists
Optional Lint C++
The operation was canceled.