From 7eee2f10cd83af5529e55c8ae268f84a889ef4cf Mon Sep 17 00:00:00 2001 From: Lars Toenning Date: Sun, 28 Jun 2026 23:00:04 +0200 Subject: [PATCH] ci: Dummy job to satisfy requirements --- .github/workflows/pr.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 7d8527c20..69d868ebf 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -64,3 +64,9 @@ jobs: echo "::error::This PR must either modify CHANGELOG.md or have the 'no-changelog' label." exit 1 + + postBuild: # just a job with the same name as in the merge queue build to satisfy requirements + runs-on: ubuntu-latest + needs: [checks, doxygen, changelog] + steps: + - run: true