Skip to content
Lint

merge queue: embarking main (d6f4d31) and #7730 together #101

Sign in to view logs

merge queue: embarking main (d6f4d31) and #7730 together

merge queue: embarking main (d6f4d31) and #7730 together #101

Triggered via pull request October 19, 2023 11:54
@mergifymergify[bot]
opened #7779
mergify/merge-queue/4d22c7cb53
Status Success
Total duration 19s
Artifacts –

ci-lint.patch.yml

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