18947: Merge branch 'main'
[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'"}]}'