Skip to content

Switch CI from bors to merge queue #449

Switch CI from bors to merge queue

Switch CI from bors to merge queue #449

Triggered via pull request October 22, 2024 13:37
Status Success
Total duration 15m 42s
Artifacts

pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in