Quelle  check-cachekey.sh

#!/bin/sh

REDBOLD="\033[31;1m"
RESET="\033[0m"

redprint()
{
  if [ "$COQ_CI_COLOR" ]; then
    printf "$REDBOLD%s$RESET\n" "$1"
  else
    printf '%s\n' "$1"
  fi
}

base_hash=$(md5sum dev/ci/docker/old_ubuntu_lts/Dockerfile | head -c 10)
base_key=$(grep BASE_CACHEKEY: .gitlab-ci.yml)
base_keyhash=${base_key%\"}
base_keyhash=${base_keyhash##*-}

if ! [ "$base_hash" = "$base_keyhash" ]; then
    >&2 redprint "Bad BASE_CACHEKEY: expected '$base_hash' but got '$base_keyhash'"
    exit 1
fi

edge_hash=$(md5sum dev/ci/docker/edge_ubuntu/Dockerfile | head -c 10)
edge_key=$(grep EDGE_CACHEKEY: .gitlab-ci.yml)
edge_keyhash=${edge_key%\"}
edge_keyhash=${edge_keyhash##*-}

if ! [ "$edge_hash" = "$edge_keyhash" ]; then
    >&2 redprint "Bad EDGE_CACHEKEY: expected '$edge_hash' but got '$edge_keyhash'"
    exit 1
fi