Clippy check

Merge pull request #734 from jannic/eh-1.0-rc3 #2031

Sign in to view logs

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

Triggered via push December 19, 2023 23:27

jannic

main

Status Success

Total duration 56s

Artifacts –

clippy.yml

on: push