Merge branch 'master' of github.com:mdiluz/rove

This commit is contained in:
Marc Di Luzio 2020-07-07 13:13:25 +01:00
commit b6d47833f6

View file

@ -32,8 +32,7 @@ jobs:
sudo chmod -R o+r /usr/local/include/google/
rm -f $PROTOC_ZIP
make gen
git update-index --refresh
git diff-index --quiet HEAD || (git diff; exit 1)
git update-index --refresh || (git diff; exit 1)
- name: Build and Test
run: make test