Revert merge queue CI optimizations

This commit is contained in:
Jorge Martín 2023-08-17 17:17:03 +02:00
parent 0324719606
commit ccacb118a1
7 changed files with 2 additions and 16 deletions

View file

@ -8,8 +8,6 @@ on:
jobs:
validation:
name: "Validation"
# 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'
runs-on: ubuntu-latest
# No concurrency required, this is a prerequisite to other actions and should run every time.
steps: