Attempt to fix CI

This commit is contained in:
Zitao Fang
2020-09-24 22:42:49 -07:00
parent ae5fb8470b
commit 6641c1f983
3 changed files with 4 additions and 4 deletions