update: change flush_db_after to always be true #6
offendoAnnotations
5 errors
|
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_18_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.20.0)
The strategy configuration was canceled because "build-and-push.v4_18_0" failed
|
|
build-and-push (v4.20.0)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
offendo~blv~MCQ0G4.dockerbuild
|
34.9 KB |
sha256:8ffc65d6e341d43da045e46b922e61af5200b511ce906cd330d200c8f67e857f
|
|
|
offendo~blv~PBFS5M.dockerbuild
|
36 KB |
sha256:8f4fbf9d78081634b2043eed748da832fb3174a50b6dfa97a48f4b29c773f043
|
|