| ARG RELEASE |
| ARG LAUNCHPAD_BUILD_ARCH |
| LABEL org.opencontainers.image.version=22.04 |
| ADD file:c4ec32d39509d0c1acf2ddbb89cdc1fb3ceeae66ef80238f2ba7df53758fb44a in / |
| CMD ["/bin/bash"] |
| ARG DEBIAN_FRONTEND=noninteractive |
| ARG TZ=America/Los_Angeles |
| ARG DOCKER_IMAGE_NAME_TEMPLATE=mcr.microsoft.com/playwright:v%version%-jammy |
| ARG NODE_VERSION=24 # autogenerated via ./update-playwright-node.mjs |
| ARG UBUNTU_MIRROR_PREFIX=azure. |
| ENV LANG=C.UTF-8 |
| ENV LC_ALL=C.UTF-8 |
| RUN |9 DEBIAN_FRONTEND=noninteractive TZ=America/Los_Angeles DOCKER_IMAGE_NAME_TEMPLATE=mcr.microsoft.com/playwright:v%version%-jammy NODE_VERSION=24 #= autogenerated= via= ./update-playwright-node.mjs= UBUNTU_MIRROR_PREFIX=azure. /bin/sh -c find /etc/apt -type f \( -name '*.list' -o -name '*.sources' \) -exec sed -i "s|http://archive.ubuntu.com|http://${UBUNTU_MIRROR_PREFIX}archive.ubuntu.com|g; s|http://ports.ubuntu.com|http://${UBUNTU_MIRROR_PREFIX}ports.ubuntu.com|g" {} + && apt-get update && apt-get install -y curl wget gpg ca-certificates && mkdir -p /etc/apt/keyrings && curl -sL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg && echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_${NODE_VERSION}.x nodistro main" >> /etc/apt/sources.list.d/nodesource.list && apt-get update && apt-get install -y nodejs && apt-get install -y --no-install-recommends git openssh-client && npm install -g yarn && rm -rf /var/lib/apt/lists/* && adduser pwuser # buildkit |
| ENV PLAYWRIGHT_BROWSERS_PATH=/ms-playwright |
| COPY ./playwright-core.tar.gz /tmp/playwright-core.tar.gz # buildkit |
| RUN |9 DEBIAN_FRONTEND=noninteractive TZ=America/Los_Angeles DOCKER_IMAGE_NAME_TEMPLATE=mcr.microsoft.com/playwright:v%version%-jammy NODE_VERSION=24 #= autogenerated= via= ./update-playwright-node.mjs= UBUNTU_MIRROR_PREFIX=azure. /bin/sh -c install -d -m 777 /ms-playwright /ms-playwright/.links && mkdir /ms-playwright-agent && cd /ms-playwright-agent && npm init -y && npm i /tmp/playwright-core.tar.gz && npm exec --no -- playwright-core mark-docker-image "${DOCKER_IMAGE_NAME_TEMPLATE}" && npm exec --no -- playwright-core install-deps && if [ "$(uname -m)" = "aarch64" ]; then rm /usr/lib/aarch64-linux-gnu/gstreamer-1.0/libgstwebrtc.so; else rm /usr/lib/x86_64-linux-gnu/gstreamer-1.0/libgstwebrtc.so; fi && rm -rf /var/lib/apt/lists/* # buildkit |
| RUN |9 DEBIAN_FRONTEND=noninteractive TZ=America/Los_Angeles DOCKER_IMAGE_NAME_TEMPLATE=mcr.microsoft.com/playwright:v%version%-jammy NODE_VERSION=24 #= autogenerated= via= ./update-playwright-node.mjs= UBUNTU_MIRROR_PREFIX=azure. /bin/sh -c cd /ms-playwright-agent && npm exec --no -- playwright-core install chromium && chmod -R 777 /ms-playwright/chromium-* /ms-playwright/chromium_headless_shell-* /ms-playwright/ffmpeg-* # buildkit |
| RUN |9 DEBIAN_FRONTEND=noninteractive TZ=America/Los_Angeles DOCKER_IMAGE_NAME_TEMPLATE=mcr.microsoft.com/playwright:v%version%-jammy NODE_VERSION=24 #= autogenerated= via= ./update-playwright-node.mjs= UBUNTU_MIRROR_PREFIX=azure. /bin/sh -c cd /ms-playwright-agent && npm exec --no -- playwright-core install firefox && chmod -R 777 /ms-playwright/firefox-* # buildkit |
| RUN |9 DEBIAN_FRONTEND=noninteractive TZ=America/Los_Angeles DOCKER_IMAGE_NAME_TEMPLATE=mcr.microsoft.com/playwright:v%version%-jammy NODE_VERSION=24 #= autogenerated= via= ./update-playwright-node.mjs= UBUNTU_MIRROR_PREFIX=azure. /bin/sh -c cd /ms-playwright-agent && npm exec --no -- playwright-core install webkit && rm /tmp/playwright-core.tar.gz && rm -rf /ms-playwright-agent && rm -rf ~/.npm/ && chmod -R 777 /ms-playwright/webkit-* # buildkit |
| RUN /bin/sh -c apt-get update && apt-get install --no-install-recommends --yes build-essential python3 && rm -rf /var/lib/apt/lists/* # buildkit |
| COPY /opt/opam/compcert /opt/opam/compcert # buildkit |
| ENV OPAM_SWITCH_PREFIX=/opt/opam/compcert CAML_LD_LIBRARY_PATH=/opt/opam/compcert/lib/stublibs:/opt/opam/compcert/lib/ocaml/stublibs:/opt/opam/compcert/lib/ocaml OCAML_TOPLEVEL_PATH=/opt/opam/compcert/lib/toplevel PATH=/opt/opam/compcert/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin |
| ARG VSROCQ_VERSION=2.5.0 |
| ARG VSROCQ_SHA256=d3962b20ab59466123b3e412cec0b22316a346648b8280a43540ed8bec3dec5c |
| RUN |2 VSROCQ_VERSION=2.5.0 VSROCQ_SHA256=d3962b20ab59466123b3e412cec0b22316a346648b8280a43540ed8bec3dec5c /bin/sh -c mkdir -p /opt/crocq-ci && curl -fsSL --retry 3 --retry-delay 2 -o /opt/crocq-ci/rocq-prover.vsrocq.vsix "https://open-vsx.org/api/rocq-prover/vsrocq/${VSROCQ_VERSION}/file/rocq-prover.vsrocq-${VSROCQ_VERSION}.vsix" && echo "${VSROCQ_SHA256} /opt/crocq-ci/rocq-prover.vsrocq.vsix" | sha256sum --check - # buildkit |
| ENV CROCQ_VSROCQ_VSIX=/opt/crocq-ci/rocq-prover.vsrocq.vsix |
| RUN |2 VSROCQ_VERSION=2.5.0 VSROCQ_SHA256=d3962b20ab59466123b3e412cec0b22316a346648b8280a43540ed8bec3dec5c /bin/sh -c set -eux; command -v gcc g++ make python3 git xvfb-run node npm clightgen vsrocqtop; clightgen --version; vsrocqtop --version; test -d /opt/opam/compcert/lib/coq/user-contrib/VST; test -s "$CROCQ_VSROCQ_VSIX" # buildkit |
| LABEL org.opencontainers.image.source=https://git.marfavi.com/code2rocq/crocq org.opencontainers.image.description=CI image for the crocq VS Code extension workflow org.opencontainers.image.title=crocq-ci-extension |
