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

Update API to only use "verify" rather than two fns #17

Sign in to view logs

Update API to only use "verify" rather than two fns

Update API to only use "verify" rather than two fns #17

Triggered via push March 5, 2026 20:28
@offendooffendo
pushed 0d36d73
0.3.0
Status Failure
Total duration 1m 44s
Artifacts 2

docker-image.yml

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

Annotations

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.18.0)
The strategy configuration was canceled because "build-and-push.v4_20_0" failed
build-and-push (v4.18.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)
The operation was canceled.

Artifacts

Produced during runtime
Name Size Digest
offendo~blv~LY6KFM.dockerbuild
35.9 KB
sha256:291d3c048faa97fad6ff083d6d60e5f81f9a0d5fcd294acbc754a4390147f332
offendo~blv~YWQKGD.dockerbuild
35.7 KB
sha256:532079c5bf7f8ef4e5393c1f37ad38d8eabd35f729159d8d812ccdc58846c250