Skip to content

Switch from bors to merge queues #29

Switch from bors to merge queues

Switch from bors to merge queues #29

Triggered via pull request February 1, 2024 01:22
Status Success
Total duration 3m 42s
Artifacts

pr.yaml

on: pull_request
Matrix: Test
Complete
0s
Complete
Fit to window
Zoom out
Zoom in