CI: minor tweaks

This commit is contained in:
Grégoire Henry 2017-08-16 14:18:34 +02:00
parent a01f786de4
commit a31bb86a63
3 changed files with 15 additions and 16 deletions

View File

@ -247,13 +247,11 @@ deploy:bootstrap6:
## Cleanup... ## Cleanup...
cleanup: # cleanup:
<<: *dind_definition # <<: *dind_definition
stage: cleanup # stage: cleanup
script: # script:
- ./scripts/delete_ci_image.sh gitlab-ci-token "${CI_BUILD_TOKEN}" # - apk add -U curl jq
"${CI_PROJECT_PATH_SLUG}/build" # - ./scripts/delete_ci_image.sh gitlab-ci-token "${CI_BUILD_TOKEN}"
"${CI_BUILD_REF}" # "${CI_PROJECT_PATH}/build"
## Temporary allowed failure until image deletion is allowed on gitlab # "${CI_BUILD_REF}"
## https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/13248
allow_failure: true

View File

@ -13,7 +13,7 @@ cached_image="${3:-}"
base_image="tezos/opam:alpine-${alpine_version}_ocaml-${ocaml_version}" base_image="tezos/opam:alpine-${alpine_version}_ocaml-${ocaml_version}"
if ! docker pull "$base_image" ; then if ! docker pull "$base_image" ; then
./create_docker_image.alpine.sh ./scripts/create_docker_image.alpine.sh
fi fi
cleanup () { cleanup () {
@ -59,7 +59,7 @@ echo
if [ ! -z "$cached_image" ]; then if [ ! -z "$cached_image" ]; then
echo echo
echo "### Saving socker image ($cached_image)..." echo "### Saving docker image ($cached_image)..."
echo echo
docker tag "$image_name:$image_version" \ docker tag "$image_name:$image_version" \
"$cached_image:$dependencies_sha1" "$cached_image:$dependencies_sha1"

View File

@ -22,11 +22,12 @@ getTagDigest() {
local token=$1 local token=$1
local reponame=$2 local reponame=$2
local tag=$3 local tag=$3
local id=$(curl -s -H "Authorization: Bearer ${token}" \ local digest="$(curl -s -H "Authorization: Bearer ${token}" \
-D - -o /dev/null \ -H "Accept: application/vnd.docker.distribution.manifest.v2+json" \
--head \
"${registry_uri}/${reponame}/manifests/${tag}" | \ "${registry_uri}/${reponame}/manifests/${tag}" | \
grep Docker-Content-Digest | tr -d '\r') grep Docker-Content-Digest | tr -d '\r')"
echo -n "${id##Docker-Content-Digest: }" echo -n "${digest##Docker-Content-Digest: }"
} }
deleteDigest() { deleteDigest() {