Skip to content

Switch from Bors-NG to GitHub merge queues #389

Switch from Bors-NG to GitHub merge queues

Switch from Bors-NG to GitHub merge queues #389

Triggered via pull request December 13, 2023 02:17
Status Success
Total duration 2m 7s
Artifacts

pr.yaml

on: pull_request
Fit to window
Zoom out
Zoom in