merge queue: embarking main (0507670) and #7746 together #7313

Sign in to view logs

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

Triggered via pull request October 16, 2023 21:24

opened #7749

mergify/merge-queue/d5a6c78718

Status Success

Total duration 14s

Artifacts –

lint.patch.yml

on: pull_request