diff options
author | Erik Johnston <erikj@element.io> | 2024-01-10 13:53:44 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-10 13:53:44 +0000 |
commit | 72e9b74bbfa7086e47f05271e5a2f86ad8408370 (patch) | |
tree | e0947a496bfd9b72bf48eef15aa564cb0ac72c0f /.github/workflows | |
parent | Remove CI check for sign off (#16776) (diff) | |
download | synapse-72e9b74bbfa7086e47f05271e5a2f86ad8408370.tar.xz |
Fix auto-merge CI to correctly wait for linting. (#16781)
Otherwise if you hit the `Enable auto-merge` button and the linting fails the PR is still aut-merged.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/tests.yml | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml |