Raise issue if complement fails with latest deps (#13859)

pull/13876/head
David Robertson 2022-09-22 17:33:37 +01:00 committed by GitHub
parent 8c3dcdf1b9
commit f7c89c44c5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 1 deletions

View File

@ -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

1
changelog.d/13859.misc Normal file
View File

@ -0,0 +1 @@
Raise issue if complement fails with latest deps.