Skip to content

Switch from using Bors to merge queue in CI#575

Merged
MarcoIeni merged 1 commit intorust-lang:masterfrom Kobzol:ci-remove-borsOct 21, 2024

Commits