Skip to content

Add CI trigger for merge queues.#1381

Merged
ehuss merged 1 commit intorust-lang:masterfrom ehuss:merge_groupJul 16, 2023

Commits

Commits on Jul 16, 2023