Build and Push Multiple Docker Images (Version Matrix) #21
offendoAnnotations
5 errors
|
build-and-push (v4.20.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 ${BLV_VERSION} https://github.com/offendo/blv.git; (cd repl && lake update && lake build && lake exe cache get); (cd blv && pip install --break-system-packages -r requirements.lock);" did not complete successfully: exit code: 1
|
|
build-and-push (v4.24.0)
The strategy configuration was canceled because "build-and-push.v4_20_0" failed
|
|
build-and-push (v4.24.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 ${BLV_VERSION} https://github.com/offendo/blv.git; (cd repl && lake update && lake build && lake exe cache get); (cd blv && pip install --break-system-packages -r requirements.lock);" did not complete successfully: exit code: 1
|
|
build-and-push (v4.18.0)
The strategy configuration was canceled because "build-and-push.v4_20_0" failed
|
|
build-and-push (v4.18.0)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
offendo~blv~I128J0.dockerbuild
|
35.6 KB |
sha256:ee5d4cbe1977885e237a93aa510b4c00e8086a4a5b005192013c5c4db45ff826
|
|
|
offendo~blv~RGBGVJ.dockerbuild
|
36.1 KB |
sha256:f63f56cd0a475c461614c8f89c73a07e050823556d8067184ae713e1743a2957
|
|