9 BUILD_IMAGE: "$CI_REGISTRY_IMAGE:ci-master-2024-12-06"
10 SPHINX_IMAGE: "$CI_REGISTRY_IMAGE:ci-sphinx"
11 GIT_CLEAN_FLAGS: "-ffdxq"
17 - docker login -u "$CI_REGISTRY_USER" -p "$CI_JOB_TOKEN" "$CI_REGISTRY"
18 - if docker manifest inspect "$BUILD_IMAGE"; then echo "Image already exists!"; exit 0; fi
19 - docker build --force-rm -t "$BUILD_IMAGE" - < misc/Dockerfile.build
20 - docker push "$BUILD_IMAGE"
21 - docker rmi "$BUILD_IMAGE"
24 - misc/Dockerfile.build
32 - docker login -u "$CI_REGISTRY_USER" -p "$CI_JOB_TOKEN" "$CI_REGISTRY"
33 - docker build --force-rm -t "$SPHINX_IMAGE" - < misc/Dockerfile.sphinx
34 - docker push "$SPHINX_IMAGE"
35 - docker rmi "$SPHINX_IMAGE"
54 extends: .docker_template
61 - misc/ci-local.sh doc
68 extends: .docker_template
75 - misc/ci-local.sh bench doc
76 extends: .docker_template
83 - misc/ci-local.sh ide bench
84 extends: .docker_template
91 - misc/ci-local.sh ide doc trywhy3 bench
92 - tar xzf trywhy3.tar.gz
97 extends: .docker_template
104 - misc/ci-local.sh nightly-bench-reduced
105 extends: .docker_template
112 - misc/ci-local.sh ce-bench
113 extends: .docker_template
119 - misc/ci-opam.sh why3 why3-ide
120 extends: .docker_template
126 - misc/ci-opam.sh why3 why3-ide
127 extends: .docker_template
133 - misc/ci-opam.sh why3 why3-ide why3-coq
134 extends: .docker_template
138 image: "debian:bullseye-slim"
155 - BRANCH=$(echo $CI_COMMIT_REF_NAME | tr -cs "[:alnum:].\n" "-")
156 - CACHE=$CI_REGISTRY_IMAGE:cache-$BRANCH
157 - IMAGE=$CI_REGISTRY_IMAGE:$BRANCH
158 - docker login -u "$CI_REGISTRY_USER" -p "$CI_JOB_TOKEN" "$CI_REGISTRY"
159 - docker pull "$CACHE" || true
160 - docker pull "$IMAGE" || true
161 - docker build --force-rm --cache-from="$CACHE" --target=builder -t "$CACHE" -f misc/Dockerfile.deploy .
162 - docker build --force-rm --cache-from="$CACHE" --cache-from="$IMAGE" -t "$IMAGE" -f misc/Dockerfile.deploy .
163 - test -n "$CI_COMMIT_TAG" || docker push "$CACHE"
164 - docker push "$IMAGE"
165 - docker rmi "$CACHE"
166 - docker rmi "$IMAGE"
167 - docker image prune -f
170 - /^bugfix[/]v[0-9.]*$/
177 image: "$SPHINX_IMAGE"
181 - sphinx-build -W --keep-going -b html -d doctrees doc public
182 - cp -r doc/apidoc public/api
183 - cp -r doc/stdlibdoc public/stdlib
193 image: busybox:uclibc
197 - echo "Already in public/"