Commit a75f6101 authored by Wolfgang Walther's avatar Wolfgang Walther Committed by github-actions[bot]
Browse files

workflows/merge-group: make check & build required 

These jobs were recently introduced into the merge queue - but I forgot
to make them actually required. They sometimes fail - but the PR is
still merged. Dumb.

(cherry picked from commit 2dd1eca3)
parent da2f7eae

.github/workflows/merge-group.yml

+2 −0
Original line number Diff line number Diff line
@@ -111,8 +111,10 @@ jobs: 
    if: github.event_name != 'pull_request' && always()

    # Modify this list to add or remove jobs from required status checks.

    needs:

      - check

      - lint

      - eval

      - build

    runs-on: ubuntu-slim

    permissions:

      statuses: write