Update CI.proj