Skip to content

Improve display of clippy lints page when JS is disabled #18280

Improve display of clippy lints page when JS is disabled

Improve display of clippy lints page when JS is disabled #18280

Triggered via pull request November 1, 2024 19:19
Status Cancelled
Total duration 57s
Artifacts

clippy.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
base
Canceling since a higher priority waiting request for 'Clippy Test-13585' exists
base
The operation was canceled.