Skip to content
Back to pull request #13585

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

Sign in to view logs

Improve display of clippy lints page when JS is disabled

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
base
4m 13s
4m 13s