Build and Push Multiple Docker Images (Version Matrix) #1
offendoAnnotations
8 errors
|
build-and-push (v4.9.0)
The run was canceled by @offendo.
|
|
build-and-push (v4.9.0)
The operation was canceled.
|
|
build-and-push (v4.5.0)
The run was canceled by @offendo.
|
|
build-and-push (v4.5.0)
The operation was canceled.
|
|
Build and Push Multiple Docker Images (Version Matrix)
The run was canceled by @offendo.
|
|
build-and-push (v4.7.0)
The run was canceled by @offendo.
|
|
build-and-push (v4.7.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: 2
|
|
build-and-push (v4.7.0)
The operation was canceled.
|