Fixes the new deny-by-default incorrect_partial_ord_impl_on_ord_type Clippy lint #3110

Sign in to view logs

Summary
Jobs
- coverage
Run details
- Usage
- Workflow file

Triggered via pull request July 20, 2023 17:56

synchronize #2131

fix-incorrect-partial-ord-impl-lint

Status Success

Total duration 1h 6m 17s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coverage.yml

on: pull_request