Fix typo in CI script, introduced in commit 23dd28.

This commit is contained in:
Tim Allen
2018-12-20 19:58:33 +11:00
parent 075f540ec4
commit 598076e400