Merge pull request #563 from Abrahamh08/patch-1 #879

Sign in to view logs

Summary
Jobs
- clippy
Run details
- Usage
- Workflow file

Triggered via push November 3, 2024 18:44

github-merge-queue[bot]

master

Status Success

Total duration 28s

Artifacts –

clippy.yml

on: push