Change permissions to run on Jenkins.

pull/7994/head
Adele Zhou 9 years ago
parent 74c92f62d9
commit dea1f4f473
  1. 0
      tools/jenkins/run_full_cloud_prod.sh
Loading…
Cancel
Save