Revert merge queue CI optimizations

2023-08-17 17:17:03 +02:00
parent e3cfbc113b
commit 067921a6de
7 changed files with 2 additions and 16 deletions
--- a/.github/workflows/danger.yml
+++ b/.github/workflows/danger.yml
@@ -5,8 +5,6 @@ on: [pull_request, merge_group]
 jobs:
  build:
    runs-on: ubuntu-latest
-    # Don't run in the merge queue again if the branch is up to date with `develop`
-    if: github.event.merge_group.base_ref != 'refs/heads/develop'
    name: Danger main check
    steps:
      - uses: actions/checkout@v3