Skip to content
Build and Push Multiple Docker Images (Version Matrix)

Update lean version for docker images #5

Sign in to view logs

Update lean version for docker images

Update lean version for docker images #5

Triggered via push January 7, 2026 20:33
@offendooffendo
pushed a084377
0.2.1
Status Failure
Total duration 2m 15s
Artifacts 4

docker-image.yml

on: push
Matrix: build-and-push
Fit to window
Zoom out
Zoom in

Annotations

13 errors
build-and-push (v4.22.0)
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/bash -euxo pipefail -c curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --no-modify-path --default-toolchain leanprover/lean4:${LEAN_VERSION}; chmod -R a+w $ELAN_HOME; elan --version; lean --version; leanc --version; lake --version; apt update -y; apt install -y git lsb-release gcc redis python3 python3-pip; git clone --depth 1 --branch ${LEAN_VERSION} https://github.com/offendo/repl.git; git clone --depth 1 --branch main https://github.com/offendo/blv.git; (cd repl && lake build); (cd blv && pip install --break-system-packages -r requirements.lock);" did not complete successfully: exit code: 1
build-and-push (v4.23.0)
The strategy configuration was canceled because "build-and-push.v4_22_0" failed
build-and-push (v4.23.0)
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/bash -euxo pipefail -c curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --no-modify-path --default-toolchain leanprover/lean4:${LEAN_VERSION}; chmod -R a+w $ELAN_HOME; elan --version; lean --version; leanc --version; lake --version; apt update -y; apt install -y git lsb-release gcc redis python3 python3-pip; git clone --depth 1 --branch ${LEAN_VERSION} https://github.com/offendo/repl.git; git clone --depth 1 --branch main https://github.com/offendo/blv.git; (cd repl && lake build); (cd blv && pip install --break-system-packages -r requirements.lock);" did not complete successfully: exit code: 1
build-and-push (v4.21.0)
The strategy configuration was canceled because "build-and-push.v4_22_0" failed
build-and-push (v4.21.0)
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/bash -euxo pipefail -c curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --no-modify-path --default-toolchain leanprover/lean4:${LEAN_VERSION}; chmod -R a+w $ELAN_HOME; elan --version; lean --version; leanc --version; lake --version; apt update -y; apt install -y git lsb-release gcc redis python3 python3-pip; git clone --depth 1 --branch ${LEAN_VERSION} https://github.com/offendo/repl.git; git clone --depth 1 --branch main https://github.com/offendo/blv.git; (cd repl && lake build); (cd blv && pip install --break-system-packages -r requirements.lock);" did not complete successfully: exit code: 1
build-and-push (v4.19.0)
The strategy configuration was canceled because "build-and-push.v4_22_0" failed
build-and-push (v4.19.0)
The operation was canceled.
build-and-push (v4.20.0)
The strategy configuration was canceled because "build-and-push.v4_22_0" failed
build-and-push (v4.20.0)
The operation was canceled.
build-and-push (v4.18.0)
The strategy configuration was canceled because "build-and-push.v4_22_0" failed
build-and-push (v4.18.0)
The operation was canceled.
build-and-push (v4.24.0)
The strategy configuration was canceled because "build-and-push.v4_22_0" failed
build-and-push (v4.24.0)
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/bash -euxo pipefail -c (cd / && lake new project math && cd project && curl https://raw.githubusercontent.com/leanprover-community/mathlib4/${LEAN_VERSION}/lean-toolchain -o lean-toolchain && sed -i \"s/name = \\\"mathlib\\\"/name = \\\"mathlib\\\"\\nversion = \\\"git#${LEAN_VERSION}\\\"/g\" lakefile.toml && lake exe cache get && lake build );" did not complete successfully: exit code: 1

Artifacts

Produced during runtime
Name Size Digest
offendo~blv~3DA4DT.dockerbuild Expired
49.1 KB
sha256:461136c16eb3a4307e66d38df6f6263790c2ac0cede339887835b92cac8eebed
offendo~blv~MX4VWT.dockerbuild Expired
49 KB
sha256:605e9d23e83ed764cfaf57c67c42907f10905fef4c61c076064d4dfe7ed49a41
offendo~blv~T7ZBGO.dockerbuild Expired
48.3 KB
sha256:92fd12a3880d49ef5fa32816c828126cb05fbd268fb2352e80fcbb2a9162b77e
offendo~blv~ZU1EKM.dockerbuild Expired
51.1 KB
sha256:608eda139dca155d00d49a42613340d36eb23ccda2cc9abb703061fa42b967fe