Skip to content

Add merge_group to the CI workflow#313

Merged
Kerollmops merged 1 commit intomainfrom
enable-merge-queues
Mar 19, 2025
Merged

Add merge_group to the CI workflow#313
Kerollmops merged 1 commit intomainfrom
enable-merge-queues

Commits

Commits on Mar 19, 2025