4 commits

Author	SHA1	Message	Date
mehrdadn	2949c09ee8	Fix remote-watch.py (#9625) ... Co-authored-by: Mehrdad <noreply@github.com>	2020-07-27 15:54:23 -07:00
Simon Mo	3511b30283	Temporarily disable remote watcher (#9669)	2020-07-23 17:20:48 -07:00
Simon Mo	8df25b239f	Fix lint in remote-watch.py (#9668)	2020-07-23 16:18:22 -07:00
mehrdadn	75b2fc4313	Auto-cancel build when a new commit is pushed (#8043) ... Co-authored-by: Mehrdad <noreply@github.com>	2020-07-23 16:07:00 -07:00