Skip to content

Use a better merge-queue success check.#975

Merged
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:fix-merge-queue
Jul 29, 2023

Commits

Commits on Jul 29, 2023