Update a few remaining Jenkins references to ci.arvados.org.

[arvados.git] / tools / jenkins / submit-ci-dev.sh

diff --git a/tools/jenkins/submit-ci-dev.sh b/tools/jenkins/submit-ci-dev.sh
index 7188c15250a642c8910aa5a5c7f62b6839ac0a4f..040f7f1f73db4a1ff5b8bbdf36b9ec6440caa9f0 100755 (executable)
--- a/tools/jenkins/submit-ci-dev.sh
+++ b/tools/jenkins/submit-ci-dev.sh
@@ -4,6 +4,6 @@
 # SPDX-License-Identifier: AGPL-3.0
 
 head=$(git log --first-parent --max-count=1 --format=%H)
 # SPDX-License-Identifier: AGPL-3.0
 
 head=$(git log --first-parent --max-count=1 --format=%H)

-curl -X POST https://ci.curoverse.com/job/developer-run-tests/build \
-  --user $(cat ~/.jenkins.ci.curoverse.com) \
+curl -X POST https://ci.arvados.org/job/developer-run-tests/build \
+  --user $(cat ~/.jenkins.ci.arvados.org) \

   --data-urlencode json='{"parameter": [{"name":"git_hash", "value":"'$head'"}]}'
   --data-urlencode json='{"parameter": [{"name":"git_hash", "value":"'$head'"}]}'