Merge branch 'master' into pubsync

This commit is contained in:
Eric Froemling 2020-02-05 20:18:59 -08:00
commit 9a2c41fb64

View File

@ -15,7 +15,7 @@ jobs:
- name: Install dependencies
run: |
sudo apt-get -y install python3.7 python3.7-dev python3-pip python3-setuptools
python3.7 -m pip install `tools/snippets pip_req_list`
tools/snippets install_pip_reqs
- name: Run checks and tests
run: make -j2 check test