Merge pull request #613 from jannic/issue-564 #1898

Sign in to view logs

Summary
Jobs
- Run Clippy
Run details
- Usage
- Workflow file

Triggered via push September 8, 2023 20:23

jannic

main

Status Success

Total duration 1m 44s

Artifacts –

clippy.yml

on: push