From 8bac4412d5021c6eb55093dbadd671801c66fe1c Mon Sep 17 00:00:00 2001 From: Mike McQuaid Date: Fri, 6 Dec 2024 17:35:38 +0000 Subject: [PATCH] workflows/docs: enable merge queue/group jobs. This should allow us to make use of the GitHub merge queue to ensure that we're not merging outdated code (or breaking `master`) but avoiding the need to continually merge into/rebase PR branches. This should be safe to merge as-is as is essentially a no-op without the merge queue enabled. --- .github/workflows/docs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 1234cadc24..3b5cbfbd56 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -5,6 +5,7 @@ on: branches: - master pull_request: + merge_group: permissions: contents: read