Try to skip extra checks in the CI for up to date PRs in merge queue. (#1010)

* Try to skip extra checks in the CI for up to date PRs in merge queue.

* Try to simplify check

* Remove expression syntax from `if`s
This commit is contained in:
Jorge Martin Espinosa 2023-07-31 17:19:51 +02:00 committed by GitHub
parent 2a59e6ae78
commit ca3e284991
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 8 additions and 1 deletions

View file

@ -8,6 +8,7 @@ on:
jobs:
validation:
name: "Validation"
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: