clippy: Remove unneccessary casts. #148

Sign in to view logs

Triggered via pull request August 16, 2023 16:44

opened #212

waywardmonkeys:clippy-unnecessary-cast

Status Success

Total duration 3m 33s

Artifacts –

rust.yaml

on: pull_request

Matrix: build