diff options
| author | Dominic <yobmod@gmail.com> | 2021-05-03 16:30:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-03 16:30:18 +0100 |
| commit | f8e7a7df78fb98314ba5a0a98f4600454a6c3953 (patch) | |
| tree | 39c619134d4c6beed0db1bcda2fe0602147b78ca | |
| parent | c08f592cc0238054ec57b6024521a04cf70e692f (diff) | |
| parent | 730177174bbc721fba8fbdcd28aa347b3ad75576 (diff) | |
| download | gitpython-f8e7a7df78fb98314ba5a0a98f4600454a6c3953.tar.gz | |
Merge branch 'main' into addtypes
| -rw-r--r-- | .github/workflows/pythonpackage.yml | 11 | ||||
| m--------- | git/ext/gitdb | 0 |
2 files changed, 8 insertions, 3 deletions
diff --git a/.github/workflows/pythonpackage.yml b/.github/workflows/pythonpackage.yml index 5e94cd05..3c7215cb 100644 --- a/.github/workflows/pythonpackage.yml +++ b/.github/workflows/pythonpackage.yml @@ -5,9 +5,9 @@ name: Python package on: push: - branches: [ master ] + branches: [ main ] pull_request: - branches: [ master ] + branches: [ main ] jobs: build: @@ -47,6 +47,11 @@ jobs: pip install flake8 # stop the build if there are Python syntax errors or undefined names flake8 --ignore=W293,E265,E266,W503,W504,E731 --count --show-source --statistics + - name: Check types with mypy + run: | + set -x + pip install tox + tox -e type - name: Test with nose run: | set -x @@ -56,4 +61,4 @@ jobs: run: | set -x pip install -r doc/requirements.txt - make -C doc html
\ No newline at end of file + make -C doc html diff --git a/git/ext/gitdb b/git/ext/gitdb -Subproject e45fd0792ee9a987a4df26e3139f5c3b107f009 +Subproject 03ab3a1d40c04d6a944299c21db61cf9ce30f6b |