[ci] minor fix