clippy: Suppress `identity_op` lint. #88

Sign in to view logs

Triggered via pull request November 14, 2023 10:51

synchronize #82

waywardmonkeys:suppress-identity-op-lint

Status Success

Total duration 6m 41s

Artifacts –

ci.yml

on: pull_request

Test Suite (nightly features)

Test Suite (Miri)

lints and formatting

Matrix: Test Suite

Matrix: Test Suite