ci

Appease two remaining Clippy lints (#689) #411

Sign in to view logs

Summary
Jobs
- run
Run details
- Usage
- Workflow file

Triggered via push December 4, 2023 17:48

github-merge-queue[bot]

gh-readonly-queue/main/pr-689-af6ca1e11590245516f98f25ecbefcacd6ae666d

Status Success

Total duration 13m 21s

Artifacts –

ci.yml

on: push