Skip to content
Lint

gh-138122: Integrate live profiler TUI with _colorize theming system #99742

Sign in to view logs

gh-138122: Integrate live profiler TUI with _colorize theming system

gh-138122: Integrate live profiler TUI with _colorize theming system #99742

Triggered via pull request December 9, 2025 14:55
@pablogsalpablogsal
synchronize #142360
pablogsal:gh-138122-colors
Status Cancelled
Total duration 43s
Artifacts –

lint.yml

on: pull_request
lint
36s
lint
Fit to window
Zoom out
Zoom in

Annotations

3 errors
lint
Canceling since a higher priority waiting request for Lint-gh-138122-colors exists
lint
The operation was canceled.
Lint
Canceling since a higher priority waiting request for Lint-gh-138122-colors exists