Update CI instructions