Merge branch 'master' into pubsync

This commit is contained in:
Eric Froemling 2019-11-11 01:03:00 -08:00
commit 743185d1f4

View File

@ -13,7 +13,7 @@ jobs:
run: |
sudo apt-add-repository -y ppa:deadsnakes/ppa
sudo apt-get -y install python3.7 python3.7-dev python3-pip python3-setuptools
sudo python3.7 -m pip install pylint mypy typing-extensions pytz yapf
python3.7 -m pip install pylint mypy typing-extensions pytz yapf
- name: Run checks
run: make checkfull