Merge pull request #1071 from vector-im/chore/jme/revert-merge-queue-optimizations

Revert merge queue CI optimizations
This commit is contained in:
Benoit Marty 2023-08-17 20:52:16 +02:00 committed by GitHub
commit cd1179014e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 2 additions and 16 deletions

View file

@ -16,8 +16,6 @@ jobs:
tests:
name: Runs unit tests
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'
# Allow all jobs on main and develop. Just one per PR.
concurrency: