Skip to content

Move tool buttons to side pane #31265

Move tool buttons to side pane

Move tool buttons to side pane #31265

Triggered via pull request October 22, 2024 20:10
Status Cancelled
Total duration 26s
Artifacts

typing.yml

on: pull_request
Matrix: type-checking
Fit to window
Zoom out
Zoom in

Annotations

2 errors
type-checking (3.12)
Canceling since a higher priority waiting request for 'Type checking-refs/pull/8703/merge' exists
type-checking (3.12)
The operation was canceled.