move CI script

This commit is contained in:
geeksville 2020-02-26 17:22:37 -08:00
parent 31e9d34d1e
commit 65e6d029e0