Skip to content

Add CI trigger for merge queues.#1381

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

Add CI trigger for merge queues.#1381
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:merge_group

Commits

Commits on Jul 16, 2023