Skip to content

Switch CI from bors to merge queue #4

Switch CI from bors to merge queue

Switch CI from bors to merge queue #4

Triggered via pull request October 25, 2024 08:28
Status Success
Total duration 4m 18s
Artifacts

clippy_pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in