Skip to content
Lint

merge queue: embarking main (1d45938) and #7684 together #7161

Sign in to view logs

merge queue: embarking main (1d45938) and #7684 together

merge queue: embarking main (1d45938) and #7684 together #7161

Triggered via pull request October 9, 2023 02:31
@mergifymergify[bot]
opened #7696
mergify/merge-queue/283f90b14e
Status Success
Total duration 10s
Artifacts –

lint.patch.yml

on: pull_request
Clippy
1s
Clippy
Rustfmt
0s
Rustfmt
Fit to window
Zoom out
Zoom in