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 | |
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.
-rw-r--r-- | .github/workflows/tests.yml | 19 | ||||
-rw-r--r-- | changelog.d/16781.misc | 1 |
2 files changed, 19 insertions, 1 deletions
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml |