Skip to content

Switch from using Bors to merge queue in CI #895

Switch from using Bors to merge queue in CI

Switch from using Bors to merge queue in CI #895

Annotations

1 warning

rustfmt_clippy

succeeded Oct 11, 2024 in 11s