18874: Add 'services/workbench2/' from commit 'f6f88d9ca9cdeeeebfadcfe999789bfb9f69e5c6'
[arvados.git] / tools / jenkins / submit-ci-dev.sh
1 #!/bin/sh
2 # Copyright (C) The Arvados Authors. All rights reserved.
3 #
4 # SPDX-License-Identifier: AGPL-3.0
5
6 head=$(git log --first-parent --max-count=1 --format=%H)
7 curl -X POST https://ci.arvados.org/job/developer-run-tests/build \
8   --user $(cat ~/.jenkins.ci.arvados.org) \
9   --data-urlencode json='{"parameter": [{"name":"git_hash", "value":"'$head'"}]}'