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 /.github | |
| parent | Gracefully handle failing to thumbnail images (#16211) (diff) | |
| download | synapse-ed5e8a77ca3595cdaa5dcc273b8546cb20f88146.tar.xz | |
Ignore redundant casts in latest deps CI job (#16213)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/latest_deps.yml | 4 |
1 files changed, 2 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 |