diff options
author | David Robertson <davidr@element.io> | 2023-08-30 22:55:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-30 22:55:47 +0100 |
commit | ed5e8a77ca3595cdaa5dcc273b8546cb20f88146 (patch) | |
tree | dfd5fc332005e2e383d35284f21750fd02ae1e9f | |
parent | Gracefully handle failing to thumbnail images (#16211) (diff) | |
download | synapse-ed5e8a77ca3595cdaa5dcc273b8546cb20f88146.tar.xz |
Ignore redundant casts in latest deps CI job (#16213)
-rw-r--r-- | .github/workflows/latest_deps.yml | 4 | ||||
-rw-r--r-- | changelog.d/16213.misc | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/latest_deps.yml b/.github/workflows/latest_deps.yml index ec6391cf8f..7b839f59c1 100644 --- a/.github/workflows/latest_deps.yml +++ b/.github/workflows/latest_deps.yml @@ -57,8 +57,8 @@ jobs: # `pip install matrix-synapse[all]` as closely as possible. - run: poetry update --no-dev - run: poetry run pip list > after.txt && (diff -u before.txt after.txt || true) - - name: Remove warn_unused_ignores from mypy config - run: sed '/warn_unused_ignores = True/d' -i mypy.ini + - name: Remove unhelpful options from mypy config + run: sed -e '/warn_unused_ignores = True/d' -e '/warn_redundant_casts = True/d' -i mypy.ini - run: poetry run mypy trial: needs: check_repo diff --git a/changelog.d/16213.misc b/changelog.d/16213.misc new file mode 100644 index 0000000000..8c14f5fd51 --- /dev/null +++ b/changelog.d/16213.misc @@ -0,0 +1 @@ +Fix the latest-deps CI job. |