diff options
author | David Robertson <davidr@element.io> | 2022-09-22 17:33:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-22 17:33:37 +0100 |
commit | f7c89c44c540d82c4e82a232e6ae1084b7b94e33 (patch) | |
tree | ac14b09be7f96055df26ecbfddc454b673cfe7c8 /.github | |
parent | Fix the cross-link from register admin API to config docs. (#13870) (diff) | |
download | synapse-f7c89c44c540d82c4e82a232e6ae1084b7b94e33.tar.xz |
Raise issue if complement fails with latest deps (#13859)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/latest_deps.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/latest_deps.yml b/.github/workflows/latest_deps.yml index 8366ac9393..9a708286a4 100644 --- a/.github/workflows/latest_deps.yml +++ b/.github/workflows/latest_deps.yml @@ -201,10 +201,11 @@ jobs: open-issue: if: "failure() && github.event_name != 'push' && github.event_name != 'pull_request'" needs: - # TODO: should mypy be included here? It feels more brittle than the other two. + # TODO: should mypy be included here? It feels more brittle than the others. - mypy - trial - sytest + - complement runs-on: ubuntu-latest |