Lint

merge queue: embarking main (36f2263) and #8067 together #554

Sign in to view logs

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

Triggered via pull request December 6, 2023 18:47

opened #8068

mergify/merge-queue/a1c1eb501c

Status Success

Total duration 26s

Artifacts –

ci-lint.patch.yml

on: pull_request