Skip to content

Fix renamed clippy lint #2194

Fix renamed clippy lint

Fix renamed clippy lint #2194

Triggered via pull request November 17, 2023 11:16
Status Success
Total duration 50s
Artifacts

tests.yml

on: pull_request
configlet lint
2s
configlet lint
markdown lint
12s
markdown lint
Run shellcheck on scripts
6s
Run shellcheck on scripts
Run repository tests
37s
Run repository tests
Check Rust Formatting
29s
Check Rust Formatting
Clippy
13s
Clippy
Check exercises on nightly (benchmark enabled)
13s
Check exercises on nightly (benchmark enabled)
Matrix: Check compilation
Fit to window
Zoom out
Zoom in