Unverified Commit 2dd1eca3 authored by Wolfgang Walther's avatar Wolfgang Walther
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.
parent fc34e906

.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