Skip to content

Switch CI from bors to merge queue#14718

Merged
ehuss merged 1 commit intorust-lang:masterfrom
Kobzol:ci-remove-bors
Nov 8, 2024

Commits

Commits on Oct 22, 2024