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