Skip to content

Switch from bors to merge queues #22

Switch from bors to merge queues

Switch from bors to merge queues #22

Triggered via pull request February 1, 2024 19:31
Status Success
Total duration 3m 12s
Artifacts

pr.yaml

on: pull_request
Matrix: Test
Fit to window
Zoom out
Zoom in