Back to pull request #543

Address clippy lints #95

Sign in to view logs

Triggered via pull request August 27, 2023 18:25

robjtede

synchronize #543

robjtede:rclippy

Status Success

Total duration 8m 2s

Artifacts –

workspace.yml

on: pull_request

Check that benchmarks compile

Check that clippy is happy

Check formatting

Matrix: Test 32/64 bit stable