Skip to content

Switch from using Bors to merge queue in CI #897

Switch from using Bors to merge queue in CI

Switch from using Bors to merge queue in CI #897

Annotations

1 warning

test (ubuntu-latest, x86_64-unknown-linux-gnu, stable)

succeeded Oct 11, 2024 in 2m 1s