Merge pull request #536 from jannic/fix_clippy_warnings #391

Sign in to view logs

Triggered via push May 26, 2024 15:51

github-merge-queue[bot]

master

Status Success

Total duration 44m 59s

Artifacts –

rt-ci.yml

on: push

Matrix: rt-ci-linux

Matrix: rt-ci-other-os