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 fb1299c955
commit ffdf005507
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: