Skip to content

Switch clippy from bors to merge-queue #3627

Switch clippy from bors to merge-queue

Switch clippy from bors to merge-queue #3627

Triggered via pull request October 22, 2024 20:39
Status Success
Total duration 1m 6s
Artifacts

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in