chore: remove useless non exhaustive #20870
Triggered via pull request
September 12, 2024 13:58
Status
Success
Total duration
10m 34s
Artifacts
–
lint.yml
on: pull_request
Matrix: clippy-binaries
clippy
1m 52s
wasm
2m 6s
crate-checks
10m 14s
docs
2m 12s
fmt
14s
book
2m 40s
codespell
11s
grafana
9s
no-test-deps
8s
features
7m 18s
Matrix: msrv
lint success
3s