Run GHA workflows for PRs in merge queue#708

Merged

make-github-pseudonymous-again merged 1 commit intomainfrom dx-enable-gh-merge-queue-1

Nov 30, 2023

+6

Commits on Nov 29, 2023

👩‍💻 dx: Run GHA workflows for PRs in merge queue.
make-github-pseudonymous-again
committed