Merge branch 'master' into pubsync

This commit is contained in:
Eric Froemling 2019-12-19 19:26:12 -08:00
commit 75e289e234

View File

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