Skip to content

Switch CI from bors to merge queue #451

Switch CI from bors to merge queue

Switch CI from bors to merge queue #451

Triggered via pull request November 7, 2024 10:48
Status Success
Total duration 17m 18s
Artifacts

pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in