Skip to content

Switch clippy from bors to merge queue #3634

Switch clippy from bors to merge queue

Switch clippy from bors to merge queue #3634

Triggered via pull request October 23, 2024 08:58
Status Success
Total duration 1m 7s
Artifacts

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in