fix Docker image (#14063)

Same goal as #14055, but this should fix this week's image (we build
from the release commit, so #14055 only fixes future images), as well as
allow us to rebuild past images should we ever need to.

CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Gary Verhaegen 2022-06-02 10:27:07 +02:00 committed by GitHub
parent 587af541fc
commit 78e4d33346
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -83,7 +83,10 @@ jobs:
echo "Building version ${version#v}..."
git checkout "$version"
cd ci/docker/daml-sdk
# The internet changed from under us: 11 now means 11-jammy, and curl breaks
sed -i '1s/^FROM eclipse-temurin:11$/FROM eclipse-temurin:11-focal/' Dockerfile
docker build -t digitalasset/daml-sdk:${version#v} --build-arg VERSION=${version#v} .
git checkout Dockerfile
# Despite the name not suggesting it at all, this actually signs
# _and pushes_ the image; see
# https://docs.docker.com/engine/security/trust/#signing-images-with-docker-content-trust